Search

Search Results

• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  2019-06-14
• Question dependency in terms of compliance and erotetic implication

  Paweł Łupkowski

  357–376

  2015-02-04
• The New Logic of William van Orman Quine and Its Significance for the Development of Logic in Brazil

  Julio Michael Stern

  789-793

  2019-05-24
• Generating cooperative question-responses by means of erotetic search scenarios

  Paweł Łupkowski, Dorota Leszczyńska-Jasion

  61–78

  2014-08-12
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  2020-10-30
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• Mereological foundations of point-free geometry via multi-valued logic

  Cristina Coppola, Giangiacomo Gerla

  535-553

  2015-11-13
• IEL-based Formal Dialogue System for Tutorials

  Paweł Łupkowski

  287-320

  2017-05-21
• Classical Logic and the Liar

  Yannis Stephanou

  35-56

  2019-06-14
• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Torben Braüner

  415-445

  2020-02-17
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  2016-05-16
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• A Generalisation of a Refutation-related Method in Paraconsistent Logics

  Adam Trybus

  235-261

  2018-01-25
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  481-511

  2019-01-27
• Humble Connexivity

  Andreas Kapsner

  513-536

  2019-01-27
• Andreas Kapsner, “Logics and Falsifications: A New Perspective on Constructivist Semantics”, Series Trends in Logic, vol. 40, Springer

  Henrique Antunes

  401–405

  2015-07-15
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  2020-04-01
• Patterns of scientific reasoning: An introduction

  Erik Weber

  3-5

  2005-06-23
• Nicolai Hartmann and the Transcendental Method

  Alicja Pietras

  461-492

  2021-01-12
• Some new results on PCL1 and its related systems

  Toshiharu Waragai, Hitoshi Omori

  129-158

  2010-06-30
• 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