Search: Zakharyaschev, Michael, 1998

7 results

Results

Authors Year Title Type Fulltext
Zakharyaschev, Michael
Wolter, Frank...
1998 Advanced Modal logic Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Dynamic description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Temporalizing description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Multi-dimensional description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics as fragments of Classical Bimodal Logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 On the decidability of description logics with modal operators Paper pdf