-
1
-
2
Modal logic with non-deterministic semantics: Part I—Propositional case
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
3
-
4
-
5
-
6
-
7
Tableau systems for some Ivlev-like (quantified) modal logics
Veröffentlicht in arXiv.org
VolltextArtikel -
8
-
9
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
Veröffentlicht in arXiv.org
VolltextArtikel -
10
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12