Szukaj

Wyniki wyszukiwania

• Semantics and Completeness for Schematic Logic

  Oliver William Tatton-Brown

  227-280

  03.11.2020
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  27.02.2016
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  16.08.2018
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

  Daniel Rönnedal

  3-52

  01.05.2017
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  20.08.2015
• Towards a bridge over two approaches in connexive logic

  Hitoshi Omori

  553-566

  29.01.2019
• Logics for Knowability

  Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

  385-426

  08.12.2021
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  30.03.2010
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  16.12.2021
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  15.08.2009
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  18.09.2013
• Fitch's Paradox in Fusions of Epistemic and Alethic Logics

  Arkadiusz Wójcik

  1-37

  05.12.2025
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  23.12.2005
• Contradictions in Multiverse Translation of Paraconsistent Logic daC into Many-Sorted Logic

  Julian Mauricio Valdes-Toro

  1-37

  12.09.2025
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  19.06.2008
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  28.04.2025
• Modulated logics and flexible reasoning

  Walter Carnielli, Maria Cláudia C. Grácio

  211-249

  30.09.2008