Maarten Marx Institute for Logic, Language and Information, University of...  Home/Search
Context Related
| remote.science.uva....marx:inte99.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: remote.science.uva....marx:inte99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy-- to--check conditions on the logic which imply interpolation. We apply this result to fibering of modal logics and to modal logics of knowledge and belief. (Update)
Context of citations to this paper: More
...common modalities results in a much stronger interpolation property. Ben99] shows this property for the basic multi modal logic K n . Mar99a] generalizes this result to Sahlqvist axiomatizable multi modal logics whose axioms correspond to universal Horn frame conditions which...
.... in products of modal logics [GS97] Compare this with combining through fibering, where we often have transfer of interpolation [Mar95]. We obtain our mentioned result for first order logic by considering L n as a product of modal logics. We will also show failure in...
Cited by: More
Interpolation Properties of Action Logic: Lazy-formalization to .. - Zhang, Foo (Correct)
Failure of Interpolation in Combined Modal Logics - Maarten Marx Carlos (1999) (Correct)
Lazy-formalization to the Frame Problem - Foo (2002) (Correct)
Active bibliography (related documents): More All
0.5: Modal Logic as a Software Engineering Tool - Areces, Hirsch (1996) (Correct)
0.4: Interpolation and Bisimulation in Temporal Logic - Areces, de Rijke (1998) (Correct)
0.3: Logical Semantics of Modularisation - de Lavalette (1991) (Correct)
Similar documents based on text: More All
0.2: Strong Completeness and Limited Canonicity for - And Similar Modal (2004) (Correct)
0.2: Beth Definability for the Guarded Fragment - Hoogland, Marx, Otto (1999) (Correct)
0.2: Interpolation in Guarded Fragments - Hoogland, Marx (2000) (Correct)
Related documents from co-citation: More All
4: North Holland (context) - Chang, Keisler et al. - 1973
3: Beth's and Craig's properties via epimorphism and amalgamation in algebraic logi.. (context) - Sain - 1990
3: Classes without the amalgamation property (context) - Comer - 1969
BibTeX entry: (Update)
M. Marx. Interpolation in modal logic. In Algebraic methodology and software technology (Amazonia, 1999), pages 154-163. Springer, Berlin, 1999. http://citeseer.ist.psu.edu/article/marx99interpolation.html More
@article{ marx99interpolation,
author = "Maarten Marx",
title = "Interpolation in Modal Logic",
journal = "Lecture Notes in Computer Science",
volume = "1548",
pages = "154--163",
year = "1999",
url = "citeseer.ist.psu.edu/article/marx99interpolation.html" }
Citations (may not include all citations):194 Knowledge and Belief (context) - Hintikka - 1962
161 Fundamentals of Algebraic Specifications (context) - Ehrig, Mahr - 1985
123 A Companion to Modal Logic (context) - Hughes, Creswell - 1984
69 Modal Logic and Classical Logic (context) - van Benthem - 1983
58 A guide to the modal logic of knowledge and belief (context) - Halpern, Moses - 1985
56 Module algebra (context) - Bergstra, Heering et al. - 1990
52 Oxford University Press (context) - Gabbay
17 Axiomatising specification theory (context) - Maibaum, Sadler - 1984
12 Failure of interpolation in combined modal logics - Marx, Areces - 1997
10 Amalgamation and interpolation in normal modal logics (context) - Maksimova - 1991
5 parametrisation and interpolation (context) - de Lavalette, Modularisation - 1989
5 Epistemic logic for computer science: A tutorial (context) - Meyer, Hoek et al. - 1991
3 Systems for knowledge and belief (context) - Hoek - 1993
3 Interpolation in equational logic (context) - Rodenburg - 1992
2 Logical specification and implementation (context) - Maibaum, Veloso et al. - 1984
1 Craig property of a logic and decomposability of theories (context) - Andr'eka, N'emeti et al. - 1994
1 Cylindric--relativised set algebras have strong amalgamation (context) - N'emeti - 1985
1 Modal foundations for predicate logic (context) - van Benthem - 1996
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