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

DOI10.46298/lmcs-19(3:13)2023arXiv2209.02307OpenAlexW4385739703MaRDI QIDQ6135783

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

Publication date: 26 August 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.02307

zbMATH Keywords

first-order logicLTLsafety fragment

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Star-free regular sets of ω-sequences
• Characterization of temporal property classes
• A Proof of Kamp's theorem
• Model checking of safety properties
• A first-order logic characterization of safety and co-safety languages

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