-
1
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
2
Bisimulations and bisimulation games between Verbrugge models
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
3
Filtrations of generalized Veltman models
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
4
Decidability of interpretability logics ILM0 and ILW
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
5
Complexity of the interpretability logic IL
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
6
Some characterization and preservation theorems in modal logic
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
7
-
8
A bisimulation characterization for interpretability logic
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
9
Bisimulations between generalized Veltman models and Veltman models
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
10
On the economy of aerial firefighting using Canadair CL-415
Veröffentlicht in Sigurnost
VolltextArtikel -
11
Correction to: Decidability of interpretability logics IL M 0 and IL W
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
12
-
13
-
14
Bisimulations and bisimulation quotients of generalized Veltman models
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
15
BISIMULATION QUOTIENTS OF VELTMAN MODELS
Veröffentlicht in Reports on mathematical logic
VolltextArtikel -
16
-
17
-
18
-
19
O EKONOMIJI GAŠENJA POŽARA RASLINJA IZ ZRAKA NA PRIMJERU CANADAIR CL-415
Veröffentlicht in Sigurnost
VolltextArtikel -
20
The Principles of Interpretability
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel