Search

Search Results

Found 27 items.

Boolean Connexive Logics: Semantics and tableau approach

Tomasz Jarmużek, Jacek Malinowski

427-448

2019-01-27
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Alexander Steen, Christoph Benzmüller

535-554

2016-07-26
Partial and paraconsistent three-valued logics

Vincent Degauquier

143-171

2016-02-27
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

Alexander Karpenko, Natalya Tomova

207-235

2016-10-21
Classical Logic and the Liar

Yannis Stephanou

35-56

2019-06-14
The lattice of Belnapian modal logics: Special extensions and counterparts

Sergei P. Odintsov, Stanislav O. Speranski

3-33

2016-02-25
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

2020-10-08
The critics of paraconsistency and of many-valuedness and the geometry of oppositions

Alessio Moretti

63-94

2010-06-30
Pure Variable Inclusion Logics

Francesco Paoli, Michele Pra Baldi, Damian Szmuc

631-652

2021-11-28
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
Simplified Kripke style semantics for some very weak modal logics

Andrzej Pietruszczak

271-296

2010-03-30
Modulated logics and flexible reasoning

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

211-249

2008-09-30
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

Ricardo Sousa Silvestre

89-130

2013-03-30
Mereology and uncertainty

Lech T. Polkowski

449-468

2015-04-01
Logics for Knowability

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

385-426

2021-12-08
Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

Ricardo Sousa Silvestre

65–95

2012-03-15
A Four-Valued Logical Framework for Reasoning About Fiction

Newton Peron, Henrique Antunes

579-610

2022-05-25
Weak Kleene Logic and Topic-Sensitive Logics

ROBERTO CIUNI

523-554

2024-06-05
The Liar Paradox: Between Evidence and Truth

Jonas Becker Arenhart, Ederson S. Melo

289-311

2022-02-05
Intensional Semantics for Syllogistics: what Leibniz and Vasiliev Have in Common

Antonina Konkova, Maria Legeydo

339-356

2022-02-06

1 - 21 of 27 items 1 2 > >>