Constructive interpolation in hybrid logic
From MaRDI portal
Publication:3160549
DOI10.2178/jsl/1052669059zbMath1059.03020OpenAlexW1522945997MaRDI QIDQ3160549
Maarten Marx, Patrick Blackburn
Publication date: 9 February 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1052669059
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40)
Related Items (5)
Pure extensions, proof rules, and hybrid axiomatics ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Expressivity of second order propositional modal logic ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ Why does the proof-theory of hybrid logic work so well?
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal tableau calculi and interpolation
- Proof methods for modal and intuitionistic logics
- Amalgamation and interpolation in normal modal logics
- Multi-dimensional modal logic
- Hybrid logics: characterization, interpolation and complexity
- Failures of the interpolation lemma in quantified modal logic
- The modal logic of inequality
This page was built for publication: Constructive interpolation in hybrid logic
