Search

Search Results

• The master argument and branching time

  Lars Gundersen

  49-60

  2003-10-27
• Strong and Weak Hypotheses

  Daniele Chiffi, Ciro De Florio

  1-21

  2025-01-20
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

  2014-09-06
• From BDI and stit to bdi-stit logic

  Caroline Semmling, Heinrich Wansing

  185-207

  2008-06-19
• Again on relativistic semantics

  Aldo Bressan

  23-36

  2003-01-07
• Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

  Daniela Glavaničová, Matteo Pascucci

  653-679

  2021-12-27
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  2008-02-26
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  2014-08-04
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• Can concepts be defined in terms of sets?

  Marie Duží, Pavel Materna

  195-242

  2010-09-30
• Local Applications of Logics via Model-Theoretic Interpretations

  Carlos Benito-Monsalvo

  535-556

  2022-07-09
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

  Jiří Raclavský

  57–68

  2013-10-05
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  2007-03-15