Search

Search Results

Found 83 items.

Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Some remarks concerning modal propositional logic of questions

Mariusz Urbański

187-196

1998-11-06
Models of possibilism and trivialism

Luis Estrada-González

175–205

2012-06-15
A modal approach to dynamic ontology: modal mereotopology

Dimiter Vakarelov

163-183

2008-06-19
Counterparts, Essences and Quantified Modal Logic

Tomasz Bigaj

39-52

2022-01-10
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency

Hans Lycke

31-61

2010-06-30
Applications of Relating Semantics From non-classical logics to philosophy of science

Tomasz Jarmużek, Francesco Paoli

1-17

2022-01-30
Relating Semantics for Epistemic Logic

Alessandro Giordani

681-709

2021-12-28
Varieties of Relevant S5

Shawn Standefer

53-80

2022-03-08
Notes on the geometry of logic and philosophy

Marcin Wolski

223–232

2004-01-19
A Leibnizian Logic of Possible Laws A Formal Framework Motivated by Hintikka That Blocks Lovejoy's Principle of Plenitude

Kordula Świętorzecka, Marcin Łyczak

119–-140

2022-05-06
A mind of a non-countable set of ideas

Alexander Citkin

23-39

2008-06-19
A formal theory of physical necessity

Marcin Tkaczyk

65-83

2007-07-25
Composition as identity and plural Cantor's theorem

Einar Duenger Bohn

411-428

2016-05-19
Plantinga’s Haecceitism and Simple Quantified Modal Logic

Luigi Pavone

151-160

2018-06-12
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

2011-11-30
Topology of Modal Propositions Depicted by Peirce’s Gamma Graphs: Line, Square, Cube, and Four-Dimensional Polyhedron

Jorge Alejandro Flórez

457-470

2021-11-30
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16
Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

305-324

2007-03-15
The Rule of Existential Generalisation and Explicit Substitution

Jiří Raclavský

105-141

2021-10-10
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18

43 - 63 of 83 items << < 1 2 3 4 > >>