Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

zbMATH Open1338.03026MaRDI QIDQ2804041FDOQ2804041

Authors: Ekaterina Kotikova, Mikhail Rybakov 

Publication date: 27 April 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• First-order logics of braching time: on expressive power of temporal operators
• Incompleteness of first-order temporal logic with until
• scientific article; zbMATH DE number 4210108
• Expressive completeness of temporal logic of trees
• Decidability and incompleteness results for first-order temporal logics of linear time

zbMATH Keywords

first-order logicalternating-time temporal logicrecursive enumerabilityKripke incompletenesscomputational tree logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Cited In (4)

• First-order logics of braching time: on expressive power of temporal operators
• Characterizing finite Kripke structures in propositional temporal logic
• Combined temporal and modal logic. Completeness results for predicate logic languages
• A modal temporal predicate calculus

This page was built for publication: Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

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