Search

Search Results

• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

  Yaroslav Petrukhin, Vasilyi Shangin

  223–257

  2018-07-06
• Implicational Logic, Relevance, and Refutability

  Tomasz Skura

  19-33

  2019-06-19
• Semantics and Completeness for Schematic Logic

  Oliver William Tatton-Brown

  227-280

  2020-11-03
• Sorites, Curry and Suitable Models

  Bruno Da Ré, Paula Teijeiro

  593-614

  2020-02-28
• Mereological foundations of point-free geometry via multi-valued logic

  Cristina Coppola, Giangiacomo Gerla

  535-553

  2015-11-13
• An adaptive logic framework for conditional obligations and deontic dilemmas

  Christian Straßer

  95-128

  2010-06-30
• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

  2020-11-30
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• Tautology Elimination, Cut Elimination, and S5

  Andrzej Indrzejczak

  461-471

  2017-04-05
• A Realistic View on Normative Conflicts

  Daniela Glavaničová, Matteo Pascucci

  447-462

  2020-02-04
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  2021-02-20
• Reflections on temporal and modal logic

  Richard L. Epstein

  111–139

  2014-08-02
• A Compositional Semantics for ‘Even If’ Conditionals

  Mathieu Vidal

  237-276

  2016-11-30
• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  2019-06-14
• 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
• Generalized Entailments

  Andrzej Wiśniewski

  321–356

  2017-05-22
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  2019-07-15
• A meta-logic of inference rules: Syntax

  Alex Citkin

  313–337

  2015-03-09
• Normative Consistency: An Xstit Account

  Gillman Payette

  375-413

  2017-07-28
• Chisholm's Modal Paradox(es) and Counterpart Theory 50 Years On

  Murali Ramachandran

  571-592

  2020-04-22
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  2019-01-27