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

zbMATH Open1338.03026MaRDI QIDQ2804041FDOQ2804041

Mikhail Rybakov, Ekaterina Kotikova

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
• 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 (2)

• Characterizing finite Kripke structures in propositional temporal logic
• Combined temporal and modal logic. Completeness results for predicate logic languages

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)