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
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
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

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

Marcin Łyczak

39-59

2020-07-21
A mind of a non-countable set of ideas

Alexander Citkin

23-39

2008-06-19
Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

305-324

2007-03-15
Logics for Knowability

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

385-426

2021-12-08
The theory of form logic

Wolfgang Freitag, Alexandra Zinke

363–389

2012-12-20
Modulated logics and flexible reasoning

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

211-249

2008-09-30

1 - 21 of 35 items 1 2 > >>