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

MaRDI QIDQ2804041zbMATHFDO

Authors Ekaterina Kotikova, Mikhail Rybakov

Publication date 27 April 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

Temporal logic (03B44)

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

Cited in

(4)

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

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)