Mark Reynolds, Michael Zakharyaschev  Home/Search
Context Related
| dcs.kcl.ac.uk/staff/mz/mark1.ps 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: We study two-dimensional Cartesian products of modal logics determined by infinite or arbitrarily long finite linear orders and prove a general theorem showing that in many cases these products are undecidable, in particular, such are the squares of standard linear logics like K4:3, S4:3, GL:3, Grz:3, or the logic determined by the Cartesian square of any infinite linear order. This theorem solves a number of open problems of Gabbay and Shehtman [7]. We also prove a sufficient condition for... (Update)
Cited by: More
Products of `Transitive' Modal Logics. Part I.. - Gabelaia, Kurucz.. (2004) (Correct)
Products Of `transitive' Modal Logics Without The.. - Gabelaia, Kurucz.. (Correct)
Products, or How to Create Modal Logics of High Complexity - Marx, Mikulas (2001) (Correct)
Active bibliography (related documents): More All
0.7: Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
0.5: Monodic fragments of first-order temporal logics.. - Hodkinson, Wolter.. (Correct)
0.4: Dividing and Conquering the Layered Land - Franceschet (Correct)
Similar documents based on text: More All
0.3: Bimodal Logics for Reasoning about Continuous Dynamics - Davoren, Goré (2001) (Correct)
0.3: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
0.2: On Modal Logics between K³ and S5³ - Hirsch, Hodkinson, Kurucz (Correct)
Related documents from co-citation: More All
9: Products of modal logics (context) - Gabbay, Shehtman - 1998
8: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
8: Complexity of products of modal logics (context) - Marx - 1997
BibTeX entry: (Update)
M. Reynolds and M. Zakharyaschev. On the products of linear modal logics. in preparation, 1999. http://citeseer.ist.psu.edu/reynolds99products.html More
@misc{ reynolds99products,
author = "M. Reynolds and M. Zakharyaschev",
title = "the products of linear modal logics",
text = "M. Reynolds and M. Zakharyaschev. On the products of linear modal logics.
in preparation, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/reynolds99products.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
61 Multi dimensional modal logic (context) - Marx, Venema - 1997
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2001
52 Oxford University Press (context) - Gabbay, Hodkinson et al. - 1994
48 Products of modal logics (context) - Gabbay, Shehtman - 1998
47 Undecidability and nonperiodicity for tilings of the plane (context) - Robinson - 1971
43 Decidable fragments of first-order temporal logics - Hodkinson, Wolter et al. - 2000
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
33 Two-dimensional modal logic (context) - Segerberg - 1973
33 Modal description logics: modalizing roles - Wolter, Zakharyaschev - 1999
31 Complexity of products of modal logics (context) - Marx - 1999
30 A multi-dimensional terminological knowledge representation .. - Baader, Ohlbach - 1995
27 Recurring dominoes: Making the highly undecidable highly und.. (context) - Harel - 1983
26 Expressiveness and completeness of an interval tense logic (context) - Venema - 1990
22 The equational theory of CA 3 is undecidable (context) - Maddux - 1980
22 Spatio-temporal representation and reasoning based on RCC - Wolter, Zakharyaschev - 2000
21 Department of Mathematics and Computer Science (context) - Spaan, Modal et al. - 1993
12 Decidable fragments of first-order modal logics - Wolter, Zakharyaschev - 2001
11 Nonfinitizability of classes of representable polyadic algeb.. (context) - Johnson - 1969
11 Oxford Logic Guides (context) - Chagrov, Zakharyaschev - 1997
9 A multiprocess network logic with temporal and spatial modal.. (context) - Reif, Sistla - 1985
8 with applications to high undecidability (context) - Harel, on - 1986
8 On axiomatising products of Kripke frames (context) - Kurucz - 2000
7 A decidable temporal logic of parallelism - Reynolds - 1997
7 Changing the Past: Database Applications of Two-Dimensional .. - Finger - 1994
5 Mathematical Notices of the USSR Academy of Sciences (context) - Shehtman, logics - 1978
4 Undecidability of compass logic - Marx, Reynolds - 1999
3 On modal logics between KKK and S5 S5 S (context) - Hirsch, Hodkinson et al. - 2001
1 Part 2: Relativised quantifiers in classical logic (context) - Gabbay, Shehtman et al. - 2000
1 Imperative history: two-dimensional executable temporal logi.. (context) - Finger, Reynolds - 1999
The graph only includes citing articles where the year of publication is known.
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