Temporal Logics with Local Constraints (Invited Talk)

Recent decidability results on the satisfiability problem for temporal logics, in particular LTL, CTL* and ECTL*, with constraints over external structures like the integers with the order or infinite trees are surveyed in this paper.

Authors

• Claudia Carapelle
• Markus Lohrey

Keywords

• Temporal logics with constraints
• concrete domains
• LTL
• CTL*
• ECTL*