Search

Search Results

Found 103 items.

Meet-Combination of Consequence Systems

Paula Gouveia, João Rasga, Cristina Sernadas

73-108

2024-05-29
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
Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

Daniela Glavaničová, Matteo Pascucci

653-679

2021-12-27
Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

615-648

2024-11-07
Antinomicity and the axiom of choice. A chapter in antinomic mathematics

Florencio G. Asenjo

53-95

2003-01-27
On Béziau’s logic Z

Hitoshi Omori, Toshiharu Waragai

305-320

2009-03-15
Fitch's Paradox in Fusions of Epistemic and Alethic Logics

Arkadiusz Wójcik

1-37

2025-12-05
Conceptual and derivation systems

Jiří Raclavský, Petr Kuchyňka

159–174

2011-06-30
A Misleading Triviality Argument in the Theory of Conditionals

Anna Wójtowicz, Krzysztof Wójtowicz

349-380

2024-05-04
Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation

Robert van Rooij, Patricia Mirabile

359-384

2021-12-23
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

1-111

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

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