Search

Search Results

• Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

  Pawel Pawlowski, Rafal Urbaniak

  501-527

  2021-11-29
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  2010-09-30
• An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

  Richard Zach

  161-179

  2022-07-27
• Game Semantics, Quantifiers and Logical Omniscience

  Bruno Ramos Mendonça

  557-578

  2022-06-13
• 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
• Paradoxes versus Contradictions in Logic of Sentential Operators

  Michał Walicki

  1-44

  2024-01-02
• Intensional Semantics for Syllogistics: what Leibniz and Vasiliev Have in Common

  Antonina Konkova, Maria Legeydo

  339-356

  2022-02-06
• Presuppositions and the Content Implication

  Piotr Łukowski, Adam Olszewski, Konrad Rudnicki

  217-246

  2024-11-29
• KD45 with Propositional Quantifiers

  P. Maurice Dekker

  27-54

  2023-08-24
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

  381-402

  2024-03-04
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15
• Egocentric Doxastic Logic

  Pavel Naumov, Chenyang Wu

  193-215

  2024-09-25
• Spheres, cubes and simple

  Stefano Borgo

  255–293

  2013-06-11
• Defusing a Paradox to a Hypodox

  Peter Eldridge-Smith

  567-614

  2024-08-15
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  2004-12-21
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• How effective indeed is present-day mathematics?

  Athanassios Tzouvaras

  131-153

  2006-06-26
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  2021-12-27
• Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

  Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

  615-648

  2024-11-07
• Antinomicity and the axiom of choice. A chapter in antinomic mathematics

  Florencio G. Asenjo

  53-95

  2003-01-27