Interval Logics and ωB-Regular Languages

DOI10.1007/978-3-642-37064-9_38zbMath1377.03026OpenAlexW26963826MaRDI QIDQ4910481

Angelo Montanari, Pietro Sala

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_38

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (7)

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space ⋮ Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Unnamed Item ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful? ⋮ On a Temporal Logic of Prefixes and Infixes.

This page was built for publication: Interval Logics and ωB-Regular Languages