Searching for authors named "Michael Zakharyaschev" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
and
- … Frank Wolter University of Liverpool and Michael Zakharyaschev Birkbeck College London We show…
- Add To MetaCart
-
On the Relation Between Intuitionistic and Classical Modal Logics
- …On the relation between intuitionistic and classical modal logics Frank Wolter and Michael…
- Cited by 13 (3 self) – Add To MetaCart
-
On the Complexity of Description Logics With Modal Operators
- …On the complexity of description logics with modal operators Milenko Mosurovi'c and Michael…
- Cited by 1 (0 self) – Add To MetaCart
-
A Logic for Metric and Topology
- …A logic for metric and topology Frank Wolter and Michael Zakharyaschev Department of Computer…
- Cited by 10 (10 self) – Add To MetaCart
-
A Note on Relativised Products of Modal Logics
- …A note on relativised products of modal logics Agi Kurucz and Michael Zakharyaschev Department…
- Cited by 5 (3 self) – Add To MetaCart
-
Satisfiability Problem in Description Logics With Modal Operators
- …@(email omitted); Michael Zakharyaschev Institute of Applied Mathematics Russian Academy of Sciences Miusskaya Square 4…
- Cited by 33 (19 self) – Add To MetaCart
-
Multi-Dimensional Description Logics
- … Augustus-Platz 10-11 04109 Leipzig, Germany e-mail: wolter@(email omitted); Michael Zakharyaschev…
- Cited by 46 (17 self) – Add To MetaCart
-
Reasoning about distances
- …Reasoning about distances Frank Wolter and Michael Zakharyaschev Department of Computer Science…
- Cited by 17 (13 self) – Add To MetaCart
-
Modal Description Logics: Modalizing Roles
- …Modal description logics: modalizing roles Frank Wolter and Michael Zakharyaschev Institut fur…
- Cited by 22 (12 self) – Add To MetaCart
-
Decidable Fragments of First-Order Modal Logics
- …-ORDER MODAL LOGICS FRANK WOLTER AND MICHAEL ZAKHARYASCHEV Abstract. The paper considers the set ML1 of rst…
- Cited by 18 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
