Search

Search Results

• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  2016-02-27
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  2021-02-20
• Semantics and Completeness for Schematic Logic

  Oliver William Tatton-Brown

  227-280

  2020-11-03
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  481-511

  2019-01-27
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  2019-04-11
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

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

  Daniel Rönnedal

  3-52

  2017-05-01
• Symmetric and dual paraconsistent logics

  Norihiro Kamide, Heinrich Wansing

  7-30

  2010-06-30
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  2018-08-16
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

  2015-08-20
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3

  Gemma Robles

  371-390

  2014-01-07
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Towards a bridge over two approaches in connexive logic

  Hitoshi Omori

  553-566

  2019-01-29
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  97-126

  2009-11-30
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

  2014-09-06
• Ramseying liars

  Barry Hartley Slater

  57-70

  2004-12-21
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• Counterfactuals and semantic tableaux

  Daniel Rönnedal

  71-91

  2009-08-15
• The topology of justification

  Sergei Artemov, Elena Nogina

  59-71

  2008-06-19
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25