Search

Search Results

• Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

  Ricardo Sousa Silvestre

  89-130

  2013-03-30
• A Completeness Theorem for a Functionally Complete Łukasiewicz Logic

  Víctor Aranda

  1-12

  2025-08-28
• Fitch's Paradox in Fusions of Epistemic and Alethic Logics

  Arkadiusz Wójcik

  1-37

  2025-12-05
• What Should the Logic Formalizing Human Cognition Look Like? Psychologism as Applying Logic in Cognitive Science.

  Konrad Rudnicki, Piotr Łukowski

  225-262

  2024-01-26
• Models of possibilism and trivialism

  Luis Estrada-González

  175–205

  2012-06-15
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

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

  Lech T. Polkowski

  449-468

  2015-04-01
• Interpolation and implicit definability in extensions of the provability logic

  Larisa Maksimova

  129-142

  2008-06-19
• Many-Valued Logics and Bivalent Modalities

  Edson Bezerra, Giorgio Venturi

  611-636

  2022-04-11
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  2014-08-16
• Weak Kleene Logic and Topic-Sensitive Logics

  ROBERTO CIUNI

  523-554

  2024-06-05
• Presuppositions and the Content Implication

  Piotr Łukowski, Adam Olszewski, Konrad Rudnicki

  217-246

  2024-11-29
• A Four-Valued Logical Framework for Reasoning About Fiction

  Newton Peron, Henrique Antunes

  579-610

  2022-05-25
• 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
• 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
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• Converse Ackermann property and constructive negation defined with a negation connective

  Gemma Robles, José M. Méndez

  113-130

  2006-06-26
• A deductive-reductive form of logic: General theory and intuitionistic case

  Piotr Łukowski

  59–78

  2004-01-19
• The contribution of A.V. Kuznetsov to the theory of modal systems and structures

  Alexei Y. Muravitsky

  41-58

  2008-06-19
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  2008-02-26