A decidable and expressive fragment of Many-Sorted first-order linear temporal logic

DOI10.1016/j.ic.2020.104641OpenAlexW3096887581MaRDI QIDQ821564

Julien Brunel, Quentin Peyras, David Chemouil

Publication date: 21 September 2021

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104641

zbMATH Keywords

decidabilitymany-sorted logicbounded domain propertyfinite domain propertyfirst-order linear temporal logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Sound verification procedures for temporal properties of infinite-state systems

Uses Software

• Ivy
• Ivy

Cites Work

• Unnamed Item
• Decidable fragments of many-sorted logic
• Many-dimensional modal logics: theory and applications
• Decidable fragments of first-order temporal logics
• On finite domains in first-order linear temporal logic
• Temporal logic and state systems
• Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.