Journal of Applied Non-Classical Logics 14 (1-2):181-208 (2004)
Abstract |
We generalise an interval-related interpolation theorem about abstract-time Interval Temporal Logic, which was first obtained in [GUE 01]. The generalisation is based on the abstract-time variant of a projection operator in the Duration Calculus, which was introduced in [DAN 99] and later studied extensively in [GUE 02]. We propose a way to understand interpolation in the context of formal verification. We give an example showing that, unlike abstract-time ITL, DC does not have the Craig interpolation property in general, and establish a special form of Craig interpolation for abstract-time DC. Explicit definability after Beth is known to be strongly related to Craig interpolation in general. We show a limitation of a different kind to the scope of Beth definability in ITL by a counterexample too. We call the generalisation of interval-related interpolation that we present projection-related interpolation. The DC-specific restrictions apply to it too. We show that both Craig and projection-related interpolation hold about the ⌈P⌉-subset of DC without such restrictions. Our proofs of these theorems for the ⌈P⌉-subset entail algorithms for the construction of the interpolants.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.3166/jancl.14.181-208 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Repairing the Interpolation Theorem in Quantified Modal Logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
Constructive Interpolation in Hybrid Logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.
View all 6 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
A Relatively Complete Axiomatisation of Projection Onto State in the Duration Calculus.Dimitar P. Guelev & Dang Van Hung - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):149-180.
That SCI has the Interpolation Property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Complexity of Interpolation and Related Problems in Positive Calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Is There Really No Projection Postulate in the Modal Interpretation?W. Michael Dickson - 1995 - British Journal for the Philosophy of Science 46 (2):197-218.
Limitations of the Projection Postulate.L. E. Ballentine - 1990 - Foundations of Physics 20 (11):1329-1343.
Interpolation in Fragments of Classical Linear Logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
On Some Classes of Heyting Algebras with Successor That Have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.
Notes on Craig Interpolation for LJ with Strong Negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
Analytics
Added to PP index
2014-01-21
Total views
36 ( #313,972 of 2,499,868 )
Recent downloads (6 months)
1 ( #417,749 of 2,499,868 )
2014-01-21
Total views
36 ( #313,972 of 2,499,868 )
Recent downloads (6 months)
1 ( #417,749 of 2,499,868 )
How can I increase my downloads?
Downloads