Dov M. Gabbay, Department of Computing Imperial College 180 Queen's Gates...  Home/Search
Context
Related
| www3.oup.co.uk/igpl/Volu...gabbay.ps.gz 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: www3.oup.co.uk/igpl/Vol...#gabbay (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area. 1 (Update)
Active bibliography (related documents): More All
9.3: Products of Modal Logics, Part 1 - Dov Gabbay Department (Correct)
0.7: Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
0.5: Lattices of Modal Logics and their Groups of Automorphisms - Kracht (Correct)
Similar documents based on text: More All
0.2: Products of modal logics. Part 2: Relativised quantifiers in .. - Gabbay, Shehtman (Correct)
0.2: The FME Rail Annotated Rail Bibliography - Bjørner (1998) (Correct)
0.2: The Journal of Language and Computation - Language And Computation (Correct)
BibTeX entry: (Update)
@misc{ department-products,
author = "Dov Gabbay Department",
title = "Products of Modal Logics, Part 1",
url = "citeseer.ist.psu.edu/632420.html" }
Citations (may not include all citations):604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1995
130 The computational complexity of provability in systems of mo.. (context) - Ladner - 1977
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
107 A new introduction to modal logic (context) - Hughes, Cresswell - 1996
83 Cylindric algebras (context) - Henkin, Monk et al. - 1985
69 Modal logic and classical logic (context) - Van Benthem - 1983
65 Finite Transition Systems (context) - Arnold - 1994
61 Multi-dimensional modal logic (context) - Marx, Venema - 1997
61 Using the universal modality: gains and questions (context) - Goranko, Passy - 1992
54 Complexity of modal logics (context) - Spaan - 1993
52 Oxford University Press (context) - Gabbay - 1998
52 Modal logic with names (context) - Gargov, Goranko - 1993
48 CSLI Lecture notes (context) - Goldblatt, time - 1987
40 the decision problem for two-variable first order logic - Gradel, Kolaitis et al. - 1997
38 Completeness and correspondence in the first and second orde.. (context) - Sahlqvist - 1975
38 Hierarchies of modal and temporal logics with reference poin.. - Goranko - 1996
33 Two-dimensional modal logic (context) - Segerberg - 1973
30 Journal of Symbolic Logic (context) - Fine - 1974
29 Oxford University Press (context) - Chagrov, Zakharyaschev - 1996
25 Modal logic and attribute value structures - Blackburn - 1993
25 Semantical Investigations in Heyting's Intuitionistic Logic (context) - Gabbay - 1981
22 The equational theory of CA 3 is undecidable (context) - Maddux - 1980
17 An overview of fibred semantics and the combination of logic.. (context) - Gabbay - 1996
17 Reasoning with many processes (context) - Sistla, German - 1987
15 Temporal logic with reference pointers - Goranko - 1994
15 Complexity of modal logics of relations - Marx - 1997
12 Failure of interpolation in combined modal logics - Marx, Areces - 1997
11 Investigations in Modal and Tense Logics with Applications (context) - Gabbay - 1976
11 Semantic analysis of tense logic (context) - Thomason - 1972
11 Modal logics of domains on the real plane (context) - Shehtman - 1983
7 A decidable temporal logic of parallelism - Reynolds
7 Modal logics with linear alternative relations (context) - Segerberg - 1970
7 Normal forms in modal logic (context) - Fine - 1975
6 Some embedding theorems for modal logic (context) - Makinson - 1971
6 part 1: Modal and Intuitionistic Logic (context) - Gabbay, the et al. - 1996
6 Properties of independently axiomatisable bimodal logics (context) - Kracht, Wolter - 1991
6 Modal logics with functional alternative relations (context) - Segerberg - 1986
6 ILLC Dissertation Series (context) - De Rijke, logic et al.
6 Semantics of non-classical first order predicate logics (context) - Shehtman, Skvortsov - 1990
5 General filtration method for modal logic (context) - Gabbay - 1972
5 On some two-dimensional modal logics (context) - Shehtman - 1987
5 Transfer theorems for multimodal logics (context) - Fine, Schurz - 1997
4 That all normal extensions (context) - Bull - 1966
4 An ascending chain of S4 logics (context) - Fine - 1974
4 part 2: Fibring Non-monotonic Logics (context) - Gabbay, the et al. - 1995
4 An algebraic theory of normal forms (context) - Ghilardi - 1995
4 Finite Kripke models and predicate logics of provability (context) - Artemov, Dzhaparidze - 1990
4 Undecidability of modal and intermediate first-order logics .. (context) - Gabbay, Shehtman - 1993
4 Two-dimensional modal logics (context) - Shehtman - 1978
3 Presheaf semantics and independence results for some nonclas.. (context) - Ghilardi - 1989
3 Undecidability of the rectangular modal product (context) - Reynolds - 1997
3 On axiomatizability of some intermediate predicate logics (context) - Skvortsov - 1989
2 Intermediate predicate logics determined by ordinals (context) - Minari, Takano et al. - 1990
2 Mathematics Department Report Series (context) - Venema - 1996
2 A logic with progressive tenses (context) - Shehtman - 1993
2 Submitted to Journal of Logic and Computation (context) - Marx, products et al. - 1997
2 Algorithmic aspects of tense logics In: Proceedings of Compu.. (context) - Chagrov, Shehtman - 1995
2 Logik und Grundlagen der Math (context) - Fine, containing et al. - 1971
2 A classification of modal logics (context) - Maksimova - 1979
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_06/Issue_01/#gabbay): More
Formulas for which Contraction is - Admissible Arnon Avron (Correct)
Stereotypical Reasoning: Logical - Properties Daniel Lehmann (Correct)
A Fast Deterministic Algorithm for - Formulas That Have (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