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)

zbMATH Keywords

LTLaperiodiccost functionssyntactic congruencecost automatastabilization semigroup

Mathematics Subject Classification ID

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

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)

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

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)