Search

Search Results

Found 83 items.

Towards a bridge over two approaches in connexive logic

Hitoshi Omori

553-566

2019-01-29
Humble Connexivity

Andreas Kapsner

513-536

2019-01-27
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Norihiro Kamide

481-511

2019-01-27
On Displaying Negative Modalities

Sergey Drobyshevich

161-192

2017-07-28
Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

Ricardo Sousa Silvestre

65–95

2012-03-15
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

Ricardo Sousa Silvestre

89-130

2013-03-30
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
Leśniewski-quantifiers and modal arguments in legal discourse

Burkhard Schäfer

133-155

1998-11-06
From BDI and stit to bdi-stit logic

Caroline Semmling, Heinrich Wansing

185-207

2008-06-19
A Classical Logic of Existence and Essence

Sergio Galvan, Alessandro Giordani

541-570

2020-06-12
Interplays of knowledge and non-contingency

Alexandre Costa-Leite

521-534

2016-07-13
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

Marcelo E. Coniglio, Martin Figallo

171-203

2024-01-26
A modal logic of information

Krystyna Misiuna

33–51

2012-03-15
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

José Miguel Blanco

75-104

2021-08-14
On Béziau’s logic Z

Hitoshi Omori, Toshiharu Waragai

305-320

2009-03-15
Simulation Logic

Gerard Allwein, William L. Harrison, David Andrews

277–299

2013-09-15
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

2008-06-19
Modal Hybrid Logic

Andrzej Indrzejczak

147-257

2007-08-25
The topology of justification

Sergei Artemov, Elena Nogina

59-71

2008-06-19
On axiomatization of Łukasiewicz's four-valued modal logic

Marcin Tkaczyk

215-232

2011-11-30

22 - 42 of 83 items << < 1 2 3 4 > >>