Search

Search Results

• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• 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
• Swap Kripke Models for Deontic LFIs

  Mahan Vaz, Marcelo E. Coniglio

  341-380

  2026-01-05
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  2010-09-30
• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  2024-05-29
• An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

  Richard Zach

  161-179

  2022-07-27
• Quantified temporal alethic-deontic logic

  Daniel Rönnedal

  19–59

  2014-08-02
• A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

  Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

  583-617

  2023-06-02
• Paradoxes versus Contradictions in Logic of Sentential Operators

  Michał Walicki

  631-674

  2024-01-02
• Defusing a Paradox to a Hypodox

  Peter Eldridge-Smith

  567-614

  2024-08-15
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation

  Robert van Rooij, Patricia Mirabile

  359-384

  2021-12-23
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15
• Egocentric Doxastic Logic

  Pavel Naumov, Chenyang Wu

  193-215

  2024-09-25
• Spheres, cubes and simple

  Stefano Borgo

  255–293

  2013-06-11
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  2004-12-21
• Jaśkowski’s Discovery and Various Ways to Master Contradictions

  Davide Fazio, Tomasz Jarmużek, Jacek Malinowski, Krystyna Mruczek-Nasieniewska

  475-499

  2025-11-26
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

  381-402

  2024-03-04
• How effective indeed is present-day mathematics?

  Athanassios Tzouvaras

  131-153

  2006-06-26
• 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