Craig Interpolation for Linear Temporal Languages

DOI10.1007/978-3-642-04027-6_22zbMath1257.03042OpenAlexW2110004112MaRDI QIDQ3644755

Balder ten Cate, Amélie Gheerbrant

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 interpolationpropositional linear temporal logiclinear-time \(\mu \)-calculus

Mathematics Subject Classification ID

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

Related Items (1)

Interpolation-Based GR(1) Assumptions Refinement

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Automata on linear orderings
• Interpolation in computing science: The semantics of modularization
• Interpolation in non-classical logics
• Partition-based logical reasoning for first-order and propositional theories
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation for extended modal languages
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Rudiments of \(\mu\)-calculus

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