Search

Search Results

Found 37 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
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
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
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
Temporal non-commutative logic: Expressing time, resource, order and hierarchy

Norihiro Kamide

97-126

2009-11-30
Ramseying liars

Barry Hartley Slater

57-70

2004-12-21
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
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

1 - 21 of 37 items 1 2 > >>