Search

Search Results

• Doxastic Arrogance Paradox

  Andrzej Wiśniewski

  3-27

  2025-11-16
• Constructive Logic is Connexive and Contradictory

  Heinrich Wansing

  675-701

  2024-01-02
• Hintikka and Cresswell on logical omniscience

  Mark Jago

  325-354

  2007-03-15
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  129-165

  2025-03-28
• Beyond Mixed Logics

  Joaquín Toranzo Calderón, Federico Pailos

  637-664

  2022-04-11
• Justification logic, inference tracking, and data privacy

  Thomas Studer

  297-306

  2011-12-20
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

  2023-12-12
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics

  Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

  73-110

  2008-06-19
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  2010-03-30
• 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
• Phrasal Coordination Relatedness Logic

  Nissim Francez

  1-14

  2024-03-16
• Spheres, cubes and simple

  Stefano Borgo

  255–293

  2013-06-11
• Qualitative decision theory via channel theory

  Gerard Allwein, Yingrui Yang, William L. Harrison

  81–110

  2011-06-30
• Identity, many-valuedness and referentiality

  Grzegorz Malinowski

  375-387

  2013-08-29
• First-Order Logic with Adverbs

  Tristan Grøtvedt Haze

  289-324

  2024-02-14
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15