-
1
A strongly complete axiomatization of intuitionistic temporal logic
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
2
An infinitary axiomatization of dynamic topological logic
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
3
-
4
-
5
Dynamic Probability Logic: Decidability & Computability
Veröffentlicht in arXiv.org
VolltextArtikel