Craig Interpolation for Linear Temporal Languages

DOI10.1007/978-3-642-04027-6_22MaRDI QIDQ3644755zbMATH OpenOpenAlexFDO

Authors Amélie Gheerbrant, Balder ten Cate

Publication date 12 November 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04027-6_22

zbMATH Keywords

Craig interpolationlinear-time \(\mu \)-calculuspropositional linear temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Interpolation, preservation, definability (03C40)

Recommendations

• Interpolation theorems for some variants of LTL
• Computer Science Logic
• Interval-related interpolation in interval temporal logics
• Craig interpolation for semilinear substructural logics
• Tools and Algorithms for the Construction and Analysis of Systems

Cites work

• Automata on linear orderings
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2102709 (Why is no real title available?)
• Interpolation for extended modal languages
• Interpolation in computing science: The semantics of modularization
• Interpolation in non-classical logics
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Partition-based logical reasoning for first-order and propositional theories
• Rudiments of \(\mu\)-calculus
• Stutter-invariant temporal properties are expressible without the next-time operator
• Temporal logics with ``the next operator do not have interpolation or the Beth property
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(6)

• Interval-related interpolation in interval temporal logics
• Interpolation-based GR(1) assumptions refinement
• Logical Interpolation and Projection onto State in the Duration Calculus
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments
• Applications of discrete-time interval-based temporal separation

This page was built for publication: Craig Interpolation for Linear Temporal Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3644755)