Search

Search Results

Found 49 items.

Propositional logic extended with a pedagogically useful relevant implication

Diderik Batens

245–276

2013-09-02
A systematics of deontic action logics based on Boolean algebra

Robert Trypuz, Piotr Kulicki

253-270

2010-03-30
Defining ontological categories in an expansion of belief dynamics

Jan Westerhoff

199–210

2004-01-19
Some remarks concerning modal propositional logic of questions

Mariusz Urbański

187-196

1998-11-06
On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

Jiří Raclavský

57–68

2013-10-05
Natural deduction systems for some non-commutative logics

Norihiro Kamide, Motohiko Mouri

105-146

2007-08-25
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles

311-322

2008-02-26
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

2008-06-19
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12
A mind of a non-countable set of ideas

Alexander Citkin

23-39

2008-06-19
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Tomasz Jarmużek

85-101

2007-07-25
Logics for Knowability

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

385-426

2021-12-08
Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

305-324

2007-03-15
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
Justification Logic and the Epistemic Contribution of Deduction

Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

381-402

2024-03-04
Socrates did it before Gödel

Josef Wolfgang Degen

205-214

2011-11-30
What is the logic of propositional identity?

Charles Sayward

3-15

2006-03-26
KD45 with Propositional Quantifiers

P. Maurice Dekker

27-54

2023-08-24
Completeness of Minimal Positional Calculus

Tomasz Jarmużek, Andrzej Pietruszczak

147-162

2004-12-21
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

22 - 42 of 49 items << < 1 2 3 > >>