Szukaj

Wyniki wyszukiwania

• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  27.01.2019
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  26.07.2016
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  27.02.2016
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  21.10.2016
• Classical Logic and the Liar

  Yannis Stephanou

  35-56

  14.06.2019
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  25.02.2016
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  15.03.2007
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• The critics of paraconsistency and of many-valuedness and the geometry of oppositions

  Alessio Moretti

  63-94

  30.06.2010
• Reaching Classicality through Transitive Closure

  Quentin Blomet, Bruno Da Ré

  1-27

  01.10.2025
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  28.11.2021
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  16.08.2014
• Simplified Kripke style semantics for some very weak modal logics

  Andrzej Pietruszczak

  271-296

  30.03.2010
• Modulated logics and flexible reasoning

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

  211-249

  30.09.2008
• Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

  Ricardo Sousa Silvestre

  89-130

  30.03.2013
• Mereology and uncertainty

  Lech T. Polkowski

  449-468

  01.04.2015
• Logics for Knowability

  Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

  385-426

  08.12.2021
• Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

  Ricardo Sousa Silvestre

  65–95

  15.03.2012
• Weak Kleene Logic and Topic-Sensitive Logics

  ROBERTO CIUNI

  523-554

  05.06.2024
• Víctor Aranda

  Víctor Aranda Utrero

  1-12

  28.08.2025
• A Four-Valued Logical Framework for Reasoning About Fiction

  Newton Peron, Henrique Antunes

  579-610

  25.05.2022