Search

Search Results

• The Notion of Temporal Logic and the Problem of Priority

  Anna Maria Karczewska

  1-7

  2025-11-17
• History of Relating Logic. The Origin and Research Directions

  Mateusz Klonowski

  579-629

  2021-12-21
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• Intuitionistic Logic from a Metainferential Perspective

  Miguel Álvarez Lisboa

  49–81

  2025-03-26
• Is Transparent Intensional Logic a non-classical logic?

  Pavel Materna

  47-55

  2013-09-27
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  2010-09-30
• A class of simpler logical matrices for the variable-sharing property

  Gemma Robles, José M. Méndez

  241-249

  2011-11-30
• Logical Forms, Substitutions and Information Types

  Vít Punčochář

  459-473

  2023-07-21
• Intensional Semantics for Syllogistics: what Leibniz and Vasiliev Have in Common

  Antonina Konkova, Maria Legeydo

  339-356

  2022-02-06
• An abstract approach to bivalence

  Jan Woleński

  3-14

  2013-09-15
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide, Motohiko Mouri

  105-146

  2007-08-25
• Consequential Implication and the Implicative Conditional

  Gilberto Gomes, Claudio Pizzi, Eric Raidl

  321-364

  2025-01-16
• Form, Content, Extensions Some Perspectives on the Early Development of Modern Logic

  Srećko Kovač

  1-33

  2026-02-18
• Hegel and the Logical Form

  Vojtěch Kolman

  383-401

  2023-06-19
• The algebraic face of minimality

  Frank Wolter

  225-240

  1998-11-06
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• 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