Search

Search Results

Found 155 items.

Simplified Kripke style semantics for some very weak modal logics

Andrzej Pietruszczak

271-296

2010-03-30
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

2017-05-01
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
An adaptive logic framework for conditional obligations and deontic dilemmas

Christian Straßer

95-128

2010-06-30
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

José M. Méndez, Gemma Robles

175-191

2007-03-15
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

2011-11-30
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
On Logical Characterisation of Human Concept Learning based on Terminological Systems

Farshad Badie

545-566

2017-07-24
Modulated logics and flexible reasoning

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

211-249

2008-09-30
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
Classical Logic and the Liar

Yannis Stephanou

35-56

2019-06-14
Meet-Combination of Consequence Systems

Paula Gouveia, João Rasga, Cristina Sernadas

73-108

2024-05-29
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

141-158

2022-05-24
Comparing Expressiveness of Logics Defined within Different Classes of Models An analysis of some formal conditions

Diego Fernandes

247-261

2024-12-13
A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

José M. Méndez

191-219

2010-03-30
From Inconsistency to Incompatibility

Marcelo E. Coniglio, Guilherme V. Toledo

181-216

2022-09-27
A Note on Contradictions in Francez-Weiss Logics

Satoru Niki

387-416

2024-12-12
Local Applications of Logics via Model-Theoretic Interpretations

Carlos Benito-Monsalvo

535-556

2022-07-09
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 algorithmic properties of propositional inconsistency-adaptive logics

Sergei P. Odintsov, Stanislav O. Speranski

209–228

2012-08-30
Admissibility of Ackermann’s rule δ in relevant logics

Gemma Robles

411-427

2013-08-29

43 - 63 of 155 items << < 1 2 3 4 5 6 7 8 > >>