Searching for authors named "Frank Wolter" – sorted by Relevance.
90 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
