Authors | Year | Title | Type | Fulltext |
---|---|---|---|---|
Zakharyaschev, Michael Wolter, Frank... |
1998 | Advanced Modal logic | Paper | |
Wolter, Frank Zakharyaschev, Michael... |
1999 | Modal description logics: modalizing roles | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | Dynamic description logics | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | Temporalizing description logics | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | Intuitionistic Modal Logics | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | Multi-dimensional description logics | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | Intuitionistic Modal Logics as fragments of Classical Bimodal Logics | Report | |
Wolter, Frank Zakharyaschev, Michael... |
1998 | On the decidability of description logics with modal operators | Paper | |
Wolter, Frank Zakharyaschev, Michael... |
1997 | On the relation between intuitionistic and classical modal logics | Paper | |
Suzuki, Yasuhito Wolter, Frank ... |
1997 | Speaking about transitive frames in propositional languages | Paper |