Interpolation theorems for some variants of LTL

DOI10.4467/20842589RM.15.001.3910MaRDI QIDQ4596923zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 11 December 2017

Full work available at URL https://www.ejournals.eu/rml/2015/Number-50/art/5718/

zbMATH Keywords

Craig interpolation theoreminfinitary logiclinear-time temporal logicparaconsistent logicsequent calculus

Mathematics Subject Classification ID

Temporal logic (03B44) Paraconsistent logics (03B53) Interpolation, preservation, definability (03C40)

Recommendations

• Embedding theorems for LTL and its variants
• Interpolation theorems for intuitionistic predicate logic
• Interval-related interpolation in interval temporal logics
• Interpolation with decidable fixpoint logics
• Interpolation Properties and SAT-Based Model Checking
• scientific article; zbMATH DE number 4114590
• An interpolation theorem in many-valued logic
• Interpolation property for extensions of intuitionistic provability logic
• Interpolation in infinitely layered extensions of provability logic
• scientific article; zbMATH DE number 1369670

Cited in

(5)

• Interval-related interpolation in interval temporal logics
• Interpolation-based GR(1) assumptions refinement
• Craig Interpolation for Linear Temporal Languages
• Embedding theorems for LTL and its variants
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics

This page was built for publication: Interpolation theorems for some variants of LTL

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