Interval logics and B-regular languages

DOI10.1007/978-3-642-37064-9_38zbMATH Open1377.03026OpenAlexW26963826MaRDI QIDQ4910481FDOQ4910481

Authors: 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

Recommendations

• Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers
• On begins, meets and before
• scientific article; zbMATH DE number 6131597

Mathematics Subject Classification ID

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

Cited In (9)

• On a Temporal Logic of Prefixes and Infixes.
• Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• An interval temporal logic characterization of extended \(\omega\)-regular languages
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Why systems of temporal logic are sometimes (un)useful?
• The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
• Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness
• Title not available (Why is that?)

This page was built for publication: Interval logics and \(\omega B\)-regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910481)