A first-order logic characterisation of safety and co-safety languages

DOI10.1007/978-3-030-99253-8_13OpenAlexW4226322367MaRDI QIDQ6181931

Nicola Gigante, Alessandro Cimatti, Angelo Montanari, Luca Geatti, Stefano Tonetta

Publication date: 23 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-99253-8_13

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Safety, liveness and fairness in temporal logic
• Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
• Characterization of temporal property classes
• A Proof of Kamp's theorem
• Mathematical Foundations of Computer Science 2003
• Model checking of safety properties

This page was built for publication: A first-order logic characterisation of safety and co-safety languages