Search

Search Results

• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• Towards intuitionistic dynamic logic

  J. W. Degen, J. M. Werner

  305-324

  2007-03-15
• If You’re Happy, Then You Know It: The Logic of Happiness . . . and Sadness

  Sanaz Azimipour , Pavel Naumov

  403-462

  2024-02-05
• A mind of a non-countable set of ideas

  Alexander Citkin

  23-39

  2008-06-19
• The paraconsistent logic Z. A possible solution to Jaśkowski’s problem

  Jean-Yves Béziau

  99-111

  2006-06-26
• Logics for Knowability

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

  385-426

  2021-12-08
• The theory of form logic

  Wolfgang Freitag, Alexandra Zinke

  363–389

  2012-12-20
• Modulated logics and flexible reasoning

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

  211-249

  2008-09-30
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  2010-03-30
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

  José M. Méndez

  191-219

  2010-03-30