Search

Search Results

Found 16 items.

Semantics and Completeness for Schematic Logic

Oliver William Tatton-Brown

227-280

2020-11-03
Partial and paraconsistent three-valued logics

Vincent Degauquier

143-171

2016-02-27
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
Towards a bridge over two approaches in connexive logic

Hitoshi Omori

553-566

2019-01-29
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16
Counterfactuals and semantic tableaux

Daniel Rönnedal

71-91

2009-08-15
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

2020-10-08
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

Janusz Ciuciura

235-252

2005-12-23
The topology of justification

Sergei Artemov, Elena Nogina

59-71

2008-06-19
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Modulated logics and flexible reasoning

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

211-249

2008-09-30
Logics for Knowability

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

385-426

2021-12-08
Dyadic deontic logic and semantic tableaux

Daniel Rönnedal

221-252

2010-03-30

1 - 16 of 16 items