|
Zakharyaschev, Michael Wolter, Frank... |
1998 |
Advanced Modal logic |
Paper |
pdf |
|
Wolter, Frank |
1997 |
All finitely axiomatizable subframe logics containing the provability logic CSM are decidable |
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 |
|
Wolter, Frank |
1998 |
Fragments of Common knowledge Logics |
Report |
pdf |
|
Wolter, Frank |
1998 |
The algebraic face of minimality |
Paper |
pdf |
|
Wolter, Frank |
1998 |
On Logics with Coimplication |
Paper |
pdf |
|
Wolter, Frank |
1998 |
The product of converse PDL and polymodal K |
Report |
pdf |
|
Wolter, Frank |
1997 |
Fusions of Modal Logics revisited |
Paper |
pdf |
|
Suzuki, Yasuhito Wolter, Frank ... |
1997 |
Speaking about transitive frames in propositional languages |
Paper |
pdf |
