Szukaj

Wyniki wyszukiwania

• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  10.06.2019
• Per Se Modality and Natural Implication – an Account of Connexive Logic in Robert Kilwardby

  Spencer Johnston

  449-479

  12.09.2019
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  15.07.2019
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  04.04.2016
• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  29.08.2013
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  19.06.2008
• Bourne on future contingents and three-valued logic

  Daisuke Kachi

  33-43

  15.08.2009
• Counterparts, Essences and Quantified Modal Logic

  Tomasz Bigaj

  39-52

  10.01.2022
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

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

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020