Search: Zakharyaschev, Michael

10 results

Results

Authors Year Title Type Fulltext
Zakharyaschev, Michael
Wolter, Frank...
1998 Advanced Modal logic Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1999 Modal description logics: modalizing roles Report 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
Wolter, Frank
Zakharyaschev, Michael...
1997 On the relation between intuitionistic and classical modal logics Paper pdf
Suzuki, Yasuhito
Wolter, Frank
...
1997 Speaking about transitive frames in propositional languages Paper pdf