Search

Search Results

Found 35 items.

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
Connexive Extensions of Regular Conditional Logic

Yale Weiss

611-627

2018-08-16
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
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
Towards a bridge over two approaches in connexive logic

Hitoshi Omori

553-566

2019-01-29
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

2020-10-08
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
Dyadic deontic logic and semantic tableaux

Daniel Rönnedal

221-252

2010-03-30
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
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

1 - 21 of 35 items 1 2 > >>