Agi Kurucz, Michael Zakharyaschev  Home/Search
Context Related
| dcs.kcl.ac.uk/staff/kuag/pub...relat.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/r...blications2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. each frame of the class.) For example, K is the logic of all n-ary product frames. It is not hard to see that S5 is the logic of all n-ary products of universal frames having the same worlds, that is, frames hU; R i i with R i = U U . We refer to product frames of this kind as cubic universal product S5 -frames. Note that the `i-reduct' F U 1 U n ; R i of F 1 F n is a union of n disjoint copies of F i . Thus, F and F i validate the same... (Update)
Cited by: More
Products Of `transitive' Modal Logics Without The.. - Gabelaia, Kurucz.. (Correct)
Similar documents (at the sentence level):
73.9%: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
Active bibliography (related documents): More All
0.2: A Tableau Algorithm for Reasoning about Concepts and.. - Lutz, Wolter.. (2003) (Correct)
0.2: Fusions of Description Logics - Baader, Lutz, Sturm, al. (2000) (Correct)
0.1: A New Combination Procedure for the Word Problem that.. - Baader, Ghilardi.. (2003) (Correct)
Similar documents based on text: More All
0.4: On the Computational Complexity of Spatio-Temporal Logics - Gabelaia, Konchakov.. (2003) (Correct)
0.3: Verification within the KARO Agent Theory - Hustadt, Dixon, Schmidt.. (2000) (Correct)
0.3: On the Products of Linear Modal Logics - Reynolds, Zakharyaschev (1999) (Correct)
BibTeX entry: (Update)
A. Kurucz and M. Zakharyaschev. A note on relativised products of modal logics. In P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, editors, Advances in Modal Logic, Volume 4, pages 221--242. King's College Publications, 2003. http://citeseer.ist.psu.edu/article/kurucz03note.html More
@misc{ kurucz03note,
author = "A. Kurucz and M. Zakharyaschev",
title = "A note on relativised products of modal logics",
text = "A. Kurucz and M. Zakharyaschev. A note on relativised products of modal
logics. In P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, editors,
Advances in Modal Logic, Volume 4, pages 221--242. King's College Publications,
2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/kurucz03note.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995 ACM
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2002
48 Products of modal logics (context) - Gabbay, Shehtman
30 Journal of Symbolic Logic (context) - Fine, part - 1985
22 Fusions of description logics and abstract description syste.. - Baader, Lutz et al. - 2002 DBLP
14 volume 35 of Oxford Logic Guides (context) - Chagrov, Zakharyaschev - 1997
9 Representation theory for polyadic algebras (context) - Daigneault, Monk - 1963
4 Transfer theorems for strati ed modal logics (context) - Fine, Schurz - 1996
Documents on the same site (http://www.dcs.kcl.ac.uk/research/groups/gllc/publications/publications-2002.html): More
Intensional First-Order Logic With Types - Fox, Lappin, Pollard (Correct)
Decidable and Undecidable Fragments of First-Order.. - Hodkinson, Wolter.. (2002) (Correct)
Equality and Monodic First-Order Temporal Logic - Degtyarev, Fisher, Lisitsa (2002) (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