Search

Search Results

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

  José M. Méndez

  191-219

  2010-03-30
• Completeness of Minimal Positional Calculus

  Tomasz Jarmużek, Andrzej Pietruszczak

  147-162

  2004-12-21
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• Ramseying liars

  Barry Hartley Slater

  57-70

  2004-12-21
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• 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