Searching for authors named "Frank Wolter" – sorted by Relevance.
-
COMP109 Foundations of Computer Science
- Introduction COMP109 Foundations of Computer Science Frank Wolter http://www.csc.liv.ac.uk/,frank
- Add To MetaCart
-
Introduction
- Introduction COMP109 Foundations of Computer Science Frank Wolter http://www.csc.liv.ac.uk/∼frank
- Add To MetaCart
-
The product of converse PDL and polymodal K
- The product of converse PDL and polymodal K Frank Wolter Institut fur Informatik, Universitat
- Cited by 13 (3 self) – Add To MetaCart
-
The finite model property in tense logic
- The Finite Model Property in Tense Logic Frank Wolter FU Berlin II. Mathematisches Institut
- Cited by 9 (2 self) – Add To MetaCart
-
First Order Common Knowledge Logics
- First order common knowledge logics Frank Wolter Institut fur Informatik, Universitat Leipzig
- Cited by 1 (0 self) – Add To MetaCart
-
On Logics With Coimplication
- On logics with coimplication Frank Wolter School of Information Science JAIST Tatsunokuchi
- Cited by 3 (0 self) – Add To MetaCart
-
Fusions of Modal Logics Revisited
- Fusions of Modal Logics Revisited Frank Wolter JAIST Tatsunokuchi, Ishikawa 923 - 12 Japan October
- Cited by 33 (6 self) – Add To MetaCart
-
>=75%);
- In tro duction COMP109 Foundations ofComputer Science Frank Wolter http
- Add To MetaCart
-
and
- Frank Wolter University of Liverpool and Michael Zakharyaschev Birkbeck College London We show
- Add To MetaCart
-
First-order expressivity for S5-models: modal vs. two-sorted languages
- First-order expressivity for S5-models: modal vs. two-sorted languages Holger Sturm and Frank
- Add To MetaCart

