Search

Search Results

• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

  Daniel Rönnedal

  3-52

  2017-05-01
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  2007-03-15
• An adaptive logic framework for conditional obligations and deontic dilemmas

  Christian Straßer

  95-128

  2010-06-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
• Admissibility of cut in congruent modal logics

  Andrzej Indrzejczak

  189-203

  2011-11-30
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  2020-10-30
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Modulated logics and flexible reasoning

  Walter Carnielli, Maria Cláudia C. Grácio

  211-249

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

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  2024-05-29
• Classical Logic and the Liar

  Yannis Stephanou

  35-56

  2019-06-14
• Comparing Expressiveness of Logics Defined within Different Classes of Models An analysis of some formal conditions

  Diego Fernandes

  247-261

  2024-12-13
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

  Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

  141-158

  2022-05-24
• A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

  José M. Méndez

  191-219

  2010-03-30
• From Inconsistency to Incompatibility

  Marcelo E. Coniglio, Guilherme V. Toledo

  181-216

  2022-09-27
• On Logical Characterisation of Human Concept Learning based on Terminological Systems

  Farshad Badie

  545-566

  2017-07-24
• Immune Logics ain't that Immune

  Jeremiah Joven Joaquin

  253-259

  2022-10-25
• Andreas Kapsner, “Logics and Falsifications: A New Perspective on Constructivist Semantics”, Series Trends in Logic, vol. 40, Springer

  Henrique Antunes

  401–405

  2015-07-15
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• Metainferential Paraconsistency

  Bruno Da Ré, Mariela Rubin, Paula Teijeiro

  235-260

  2022-02-07
• Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

  Tore Fjetland Øgaard

  109-151

  2024-08-27