Search

Search Results

• Justification logic, inference tracking, and data privacy

  Thomas Studer

  297-306

  2011-12-20
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

  2023-12-12
• A modal logic of information

  Krystyna Misiuna

  33–51

  2012-03-15
• Doxastic Arrogance Paradox

  Andrzej Wiśniewski

  1-25

  2025-11-16
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics

  Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

  73-110

  2008-06-19
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  2010-03-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
• 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
• Identity, many-valuedness and referentiality

  Grzegorz Malinowski

  375-387

  2013-08-29
• First-Order Logic with Adverbs

  Tristan Grøtvedt Haze

  289-324

  2024-02-14
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15
• An Introduction to the Special Issue: Logics and Their Interpretations II

  Henrique Antunes, Damian Szmuc

  531-534

  2022-12-07
• An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

  Richard Zach

  161-179

  2022-07-27
• A mind of a non-countable set of ideas

  Alexander Citkin

  23-39

  2008-06-19
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  561-579

  2024-11-02