Szukaj

Wyniki wyszukiwania

• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  11.04.2019
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  10.06.2019
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  29.05.2018
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  28.12.2018
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  10.10.2020
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  18.07.2019
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  25.02.2016
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

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

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Reflections on temporal and modal logic

  Richard L. Epstein

  111–139

  02.08.2014
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  16.08.2014
• Humble Connexivity

  Andreas Kapsner

  513-536

  27.01.2019
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  21.07.2020
• Interplays of knowledge and non-contingency

  Alexandre Costa-Leite

  521-534

  13.07.2016
• Inconsistency-adaptive modal logics. On how to cope with modal inconsistency

  Hans Lycke

  31-61

  30.06.2010
• On Displaying Negative Modalities

  Sergey Drobyshevich

  161-192

  28.07.2017
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

  José Miguel Blanco

  75-104

  14.08.2021
• Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

  Ricardo Sousa Silvestre

  89-130

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

  Daniel Rönnedal

  3-52

  01.05.2017
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  481-511

  27.01.2019
• Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

  Ricardo Sousa Silvestre

  65–95

  15.03.2012