Linear temporal logic for regular cost functions

DOI10.2168/LMCS-10(1:4)2014MaRDI QIDQ5404469zbMATH OpenFDO

Authors Denis Kuperberg

Publication date 24 March 2014

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

Full work available at URL https://doi.org/10.2168/LMCS-10(1:4)2014

zbMATH Keywords

aperiodiccost automatacost functionsLTLstabilization semigroupsyntactic congruence

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45)

Recommendations

• Linear temporal logic for regular cost functions
• Regular temporal cost functions
• On the Expressive Power of Cost Logics over Infinite Words
• Regular cost functions. I: Logic and algebra over words
• Regular Linear Temporal Logic

Cited in

(6)

• Linear temporal logic for regular cost functions
• Regular temporal cost functions
• Quantifying Bounds in Strategy Logic
• Logic and regular cost functions
• Positive First-order Logic on Words and Graphs
• A survey on the local divisor technique

This page was built for publication: Linear temporal logic for regular cost functions

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