Search

Search Results

• Egocentric Doxastic Logic

  Pavel Naumov, Chenyang Wu

  193-215

  2024-09-25
• A Monadic Second-Order Version of Tarski’s Geometry of Solids

  Patrick Barlatier, Richard Dapoigny

  55-99

  2023-10-19
• Locative ontology. Parts I–III

  Jerzy Perzanowski

  7-94

  2003-01-01
• “Reductio ad absurdum” and Łukasiewicz’s modalities

  Sergei P. Odintsov

  149-166

  2003-11-23
• A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem

  Dirk Ullrich

  173-185

  1998-11-06
• A deductive-reductive form of logic: Intuitionistic S4 modalities

  Piotr Łukowski

  79–91

  2004-01-19
• Fifty years of parainconsistent logics

  Jerzy Perzanowski

  21-24

  2004-01-07
• Richard L. Epstein, “Critical Thinking”

  Penelope A. Rush

  111-115

  2013-10-02
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

  2008-06-19
• Biconsequences

  Szymon Frankowski

  353-364

  2010-12-30
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• A Note on Gödel, Priest and Naïve Proof

  Massimiliano Carrara, Enrico Martino

  79-96

  2020-10-15
• On the acceptance of problem solutions derived from inconsistent constraints

  Joke Meheus

  33-46

  2004-01-18
• An Expressivist Strategy to Understand Logical Forms

  Giacomo Turbanti

  511-525

  2023-05-16
• Mereological sets of distributive classes

  Andrzej Pietruszczak

  105-122

  2003-01-27
• The pragmatic interpretation of utterances

  Jacek Malinowski

  115-127

  2003-11-23
• Formal inconsistency and evolutionary databases

  Walter Carnielli, João Marcos, Sandra de Amo

  115-152

  2004-01-18
• Was Tarski a deflationist?

  Richard Schantz

  157-172

  1998-11-06
• Is the ontological proof for God’s existence an ontological proof for God’s existence?

  Marcin Tkaczyk

  289-309

  2008-02-26
• Meinongian extensions of predicates

  Anna Sierszulska

  145-163

  2005-12-23
• The master argument and branching time

  Lars Gundersen

  49-60

  2003-10-27