Search

Search Results

• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  2019-06-14
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  2017-02-02
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  2020-10-30
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  2019-01-27
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  1998-11-06
• Interactive logic in the middle ages

  Sara L. Uckelman

  439–471

  2012-12-20
• Applications of Relating Semantics From non-classical logics to philosophy of science

  Tomasz Jarmużek, Francesco Paoli

  1-17

  2022-01-30
• Relating Semantics for Epistemic Logic

  Alessandro Giordani

  681-709

  2021-12-28
• Local Applications of Logics via Model-Theoretic Interpretations

  Carlos Benito-Monsalvo

  535-556

  2022-07-09
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  2023-04-25
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  2021-12-27
• A Misleading Triviality Argument in the Theory of Conditionals

  Anna Wójtowicz, Krzysztof Wójtowicz

  349-380

  2024-05-04