Frank Wolter  Home/Search
Context Related
| informatik.unileipzig.de/...product.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: informatik.unileipzig.de/~wol... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form F \Theta G such that F and G validate L1 and L2 , respectively. This paper proves the decidability of the product of converse PDL and polymodal K. Decidability results for products of modal logics of knowledge as well as temporal logics and polymodal K are discussed. All those products form rather expressive but still decidable fragments of modal predicate logics. Based on the... (Update)
Context of citations to this paper: More
...nite model property and decidability for products. However advanced technique to deal with products have been developed [3] see also [8]. These are techniques for investigating the properties of products of modal logics. The product of PDL and S5 is a combination of a...
Cited by: More
Combining Dynamic Logic with Doxastic Modal Logics - Schmidt, Tishkovsky (2002) (Correct)
Products, or How to Create Modal Logics of High Complexity - Marx, Mikulas (2001) (Correct)
Interaction between Knowledge, Action and Commitment.. - Schmidt, Tishkovsky.. (2003) (Correct)
Active bibliography (related documents): More All
1.3: Dynamic Description Logics - Wolter, Zakharyaschev (2000) (Correct)
0.5: The Complexity of Reasoning about Knowledge and Time. I. Lower .. - Halpern, Vardi (1989) (Correct)
0.4: Common Knowledge and Quantification - Sturm, Wolter, Zakharyaschev (Correct)
Similar documents based on text: More All
0.3: Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
0.3: On the Relation Between Intuitionistic and Classical Modal.. - Wolter, Zakharyaschev (1996) (Correct)
0.3: Normal Monomodal Logics Can Simulate All Others - Kracht, Wolter (1999) (Correct)
Related documents from co-citation: More All
14: Products of modal logics (context) - Gabbay, Shehtman - 1998
11: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
7: Complexity of products of modal logics (context) - Marx - 1997
BibTeX entry: (Update)
F. Wolter. The product of converse PDL and polymodal K. To appear in the Journal of Logic and Computation. See also http://www.informatik.uni-leipzig.de/wolter, 1998. http://citeseer.ist.psu.edu/wolter99product.html More
@article{ wolter00product,
author = "Frank Wolter",
title = "The product of converse {PDL} and polymodal K",
journal = "Journal of Logic and Computation",
volume = "10",
number = "2",
pages = "223-251",
year = "2000",
url = "citeseer.ist.psu.edu/wolter99product.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
362 Dynamic logic - Harel - 1984
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
207 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991
180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
176 A correspondence theory for terminological logics: prelimina.. - Schild - 1991
65 A different approach to deontic logic: deontic logic viewed .. (context) - Meyer - 1988
61 Multi dimensional modal logic (context) - Marx, Venema - 1997
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
55 Combining terminological logics with tense logic (context) - Schild - 1993
52 Oxford University Press (context) - Gabbay, Hodkinson et al. - 1994
48 Products of modal logics (context) - Gabbay, Shehtman - 1998
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
36 A temporal terminological logic (context) - Schmiedel - 1990
33 Terminological logics with modal operators - Baader, Laux - 1995
31 Complexity of products of modal logics (context) - Marx - 1999
30 A multi-dimensional terminological knowledge representation .. - Baader, Ohlbach - 1995
24 Multi-dimensional description logics - Wolter, Zakharyaschev - 1999
19 Clarendon Press (context) - Chagrov, Zakharyaschev - 1997
14 Pdl--based framework for reasoning about actions - de Giacomo, Lenzerini - 1995
13 Beliefs in multi-agent worlds: a terminological approach (context) - Laux - 1994
13 A modal logic of relations (context) - Venema, Marx - 1999
13 Department of Mathematics and Computer Science - Spaan, Modal et al. - 1993
11 the products of linear modal logics - Reynolds, Zakharyaschev - 1999
10 Completeness and decidability of tense logics closely relate.. (context) - Wolter - 1997
7 A decidable temporal logic of parallelism - Reynolds - 1997
4 Language and Information (context) - Prendinger, Schurz et al. - 1996
4 Applying modal logic (context) - Segerberg - 1980
3 Terminological reasoning with knowledge an belief (context) - Graber, Burckert et al. - 1995
2 Interpreting logics of knowledge in propositional dynamic lo.. (context) - Fischer, Immerman - 1987
2 Decidable versions of first order predicate logic and cylind.. (context) - Nemeti - 1995
1 All finitely axiomatizable subframe logics containing CSM ar.. - Wolter - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-leipzig.de/~wolter/): More
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (1999) (Correct)
All finitely axiomatizable subframe logics containing the.. - Wolter (1997) (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