B. Konev, R. Kontchakov, F. Wolter, M. Zakharyaschev  Home/Search
Context
Related
| dcs.kcl.ac.uk/staff/mz/dynamo.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.kcl.ac.uk/staff/mz/papers1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The first result of this paper shows that some dynamic topological logics interpreted in various topological spaces with homeomorphisms are not recursively enumerable (and so are not recursively axiomatisable). This gives a `negative' solution to a conjecture of Kremer and Mints [12]. Second, we prove the non-elementary decidability of the dynamic metric logic with distance operators of the form `somewhere in the ball of radius a,' for a , interpreted in arbitrary metric spaces with... (Update)
Active bibliography (related documents): More All
1.5: A Logic for Metric and Topology - Wolter, Zakharyaschev (Correct)
0.7: Products Of `transitive' Modal Logics Without The.. - Gabelaia, Kurucz.. (Correct)
0.5: Bimodal Logics for Reasoning About Continuous Dynamics - Davoren, Goré (2000) (Correct)
Similar documents based on text: More All
0.4: On the Computational Complexity of Spatio-Temporal Logics - Gabelaia, Konchakov.. (2003) (Correct)
0.3: Towards the Implementation of First-Order Temporal.. - Konev, Degtyarev (Correct)
0.3: Computational Complexity of Spatio-Temporal Logics - Gabelaia, Konchakov.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ konev-dynamic,
author = "B. Konev and R. Kontchakov and F. Wolter and M. Zakharyaschev",
title = "On Dynamic Topological and Metric Logics",
url = "citeseer.ist.psu.edu/650804.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Motwani et al. - 2001
206 Introduction to Modern Theory of Dynamical Systems (context) - Katok, Hasselblatt - 1995
67 A variant of a recursively unsolvable problem (context) - Post - 1946
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2003
33 General topology (context) - Bourbaki - 1966
29 a decision method in restricted second order arithmetic (context) - uchi - 1960
24 The algebra of topology (context) - McKinsey, Tarski - 1944
18 Logics for hybrid systems - Davoren, Nerode - 2000
9 Ergodic Theory and Topological Dynamics (context) - Brown - 1976
8 Robust controller synthesis for hybrid systems using modal l.. - Moor, Davoren - 2034
5 ACM Transactions on Computational Logic (context) - Kutz, Sturm et al. - 2003
4 Dynamic topological logic (context) - Kremer, Mints - 2003
4 Modal logics and topological semantics for hybrid systems - Artemov, Davoren et al. - 1997
4 Dynamic topological logic (context) - Kremer, Mints - 1997
2 Matematicheskii Sbornik (context) - Alexandroff, aume - 1937
2 Axiomatizing the next-interior fragment of dynamic topologic.. (context) - Kremer, Mints et al. - 1997
1 Temporal logic over S4: an axiomatizable fragment of dynamic.. (context) - Kremer - 1997
1 Two counterexamples in the logic of dynamic topological syst.. (context) - Slavnov - 2003
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mz/papers1.html): More
Multi-Dimensional Modal Logic as a Framework for.. - Bennett, Cohn, Wolter, .. (2000) (Correct)
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC