PP-2002-12: Constructive Interpolation in Hybrid Logic

PP-2002-12: Blackburn, Patrick and Marx, Maarten (2002) Constructive Interpolation in Hybrid Logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (280kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


Craig's interpolation lemma fails for many propositional and first order
modal logics. The interpolation property is often regarded as a sign of
well-matched syntax and semantics. Hybrid logicians claim that modal logic
is missing important syntactic machinery, namely tools for referring to
worlds, and that adding such machinery solves many technical problems. The
paper presents strong evidence for this claim by defining interpolation
algorithms for both propositional and first order hybrid logic. These
algorithms produce interpolants for the hybrid logic of every elementary
class of frames satisfying the property that a frame is in the class if
and only if all its point-generated subframes are in the class. In addition,
on the class of all frames, the basic algorithm is conservative: on purely
modal input it computes interpolants in which the hybrid syntactic
machinery does not occur.

Item Type: Report
Report Nr: PP-2002-12
Series Name: Prepublication (PP) Series
Year: 2002
Uncontrolled Keywords: hybrid logic, interpolation
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/76

Actions (login required)

View Item View Item