Search

Search Results

Found 19 items.

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

Moritz Cordes, Friedrich Reinmuth

163-196

2017-02-02
Time and Physical Geometry. A Formalization of Putnam’s Proof

Jan Czerniawski

97-114

2019-06-17
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

2018-06-17
Logic of Social Ontology and Łoś’s Operator

Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

239-258

2020-02-25
Erotetic Epistemic Logic

Michal Peliš

357-381

2017-04-19
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Ahmad Karimi

753-765

2019-06-14
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

2015-08-25
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Torben Braüner

415-445

2020-02-17
Making use of logic

Max Urchs

197-207

1998-11-06
Logical Form, Conditionals, Pseudo-Conditionals

Andrea Iacona

145-162

2024-01-22
Logical Forms: Validity and Variety of Formalizations

Georg Brun

341-361

2023-07-20
Syntactic properties of p-consequence

Szymon Frankowski

285-295

2011-12-20
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
Game Semantics, Quantifiers and Logical Omniscience

Bruno Ramos Mendonça

557-578

2022-06-13
Some answers to Max Urchs’ comments on a paper by A. Bressan

Aldo Bressan

123-131

2003-01-27
A systematics of deontic action logics based on Boolean algebra

Robert Trypuz, Piotr Kulicki

253-270

2010-03-30
Some remarks on formal description of God's omnipotence

Kordula Świętorzecka

307-315

2011-11-20

1 - 19 of 19 items