Wolter, Frank; Zakharyaschev, Michael Modal description logics: modalizing roles | 1999 |
Zakharyaschev, Michael; Wolter, Frank; Chagrov, A. Advanced Modal logic | 1998 |
Wolter, Frank; Zakharyaschev, Michael Dynamic description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Temporalizing description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Intuitionistic Modal Logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Multi-dimensional description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Intuitionistic Modal Logics as fragments of Classical Bimodal Logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael On the decidability of description logics with modal operators | 1998 |
Wolter, Frank Fragments of Common knowledge Logics | 1998 |
Wolter, Frank The algebraic face of minimality | 1998 |
Wolter, Frank On Logics with Coimplication | 1998 |
Wolter, Frank The product of converse PDL and polymodal K | 1998 |
Kracht, Marcus; Wolter, Frank Normal monomodal logics can simulate all others | 1998 |
Wolter, Frank All finitely axiomatizable subframe logics containing the provability logic CSM are decidable | 1997 |
Wolter, Frank; Zakharyaschev, Michael On the relation between intuitionistic and classical modal logics | 1997 |
Wolter, Frank Fusions of Modal Logics revisited | 1997 |
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael Speaking about transitive frames in propositional languages | 1997 |
