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
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  97-126

  2009-11-30
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

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

  Janusz Ciuciura

  235-252

  2005-12-23
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

  José M. Méndez

  191-219

  2010-03-30
• Completeness of Minimal Positional Calculus

  Tomasz Jarmużek, Andrzej Pietruszczak

  147-162

  2004-12-21