Search

Search Results

Found 105 items.

On minimal models for pure calculi of names

Piotr Kulicki

429-443

2013-08-29
First-order belief and paraconsistency

Srećko Kovač

127-143

2009-11-30
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
Swap Kripke Models for Deontic LFIs

Mahan Vaz, Marcelo E. Coniglio

1-40

2026-01-05
Negation in weak positional calculi

Marcin Tkaczyk

3-19

2013-03-31
Future Contingencies and the Arrow and Flow of Time in a Non-Deterministic World According to the Temporal-Modal System TM

Miloš Arsenijević, Andrej Jandrić

529-581

2023-03-27
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

Jiří Raclavský

57–68

2013-10-05
In what sense is Kantian principle of contradiction non-classical?

Srećko Kovač

251-274

2008-09-30
Exploring Essential Occurrence

Lloyd Humberstone

169-279

2025-11-26
A norm-giver meets deontic action logic

Robert Trypuz, Piotr Kulicki

59–72

2011-06-30
What Should the Logic Formalizing Human Cognition Look Like? Psychologism as Applying Logic in Cognitive Science.

Konrad Rudnicki, Piotr Łukowski

225-262

2024-01-26
Classical model existence and left resolution

Jui-Lin Lee

323-352

2008-02-26
Preface

Jerzy Perzanowski, Andrzej Pietruszczak

5-6

2005-09-09
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12
Modulated logics and flexible reasoning

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

211-249

2008-09-30
Propositional logic extended with a pedagogically useful relevant implication

Diderik Batens

245–276

2013-09-02
Dyadic deontic logic and semantic tableaux

Daniel Rönnedal

221-252

2010-03-30
Presuppositions and the Content Implication

Piotr Łukowski, Adam Olszewski, Konrad Rudnicki

217-246

2024-11-29
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

64 - 84 of 105 items << < 1 2 3 4 5 > >>