Search

Search Results

• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  2013-08-29
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• Admissibility of cut in congruent modal logics

  Andrzej Indrzejczak

  189-203

  2011-11-30
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  2010-03-30
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  2007-03-15
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• The contribution of A.V. Kuznetsov to the theory of modal systems and structures

  Alexei Y. Muravitsky

  41-58

  2008-06-19
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  1-36

  2024-05-29
• Quantified temporal alethic-deontic logic

  Daniel Rönnedal

  19–59

  2014-08-02
• Models of possibilism and trivialism

  Luis Estrada-González

  175–205

  2012-06-15
• Many-Valued Logics and Bivalent Modalities

  Edson Bezerra, Giorgio Venturi

  611-636

  2022-04-11
• Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

  Gemma Robles, Sandra M. López, José M. Blanco

  665-687

  2022-04-23
• Simplified Semantics for Further Relevant Logics II Propositional Constants

  Tore Fjetland Øgaard

  1-31

  2024-08-27
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• Applications of Relating Semantics From non-classical logics to philosophy of science

  Tomasz Jarmużek, Francesco Paoli

  1-17

  2022-01-30
• A Four-Valued Logical Framework for Reasoning About Fiction

  Newton Peron, Henrique Antunes

  579-610

  2022-05-25
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  2010-03-30
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15