On weighted first-order logics with discounting

DOI10.1007/s00236-013-0193-3zbMath1359.03017OpenAlexW2049825599MaRDI QIDQ2453983

Eleni Mandrali, George Rahonis

Publication date: 12 June 2014

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-013-0193-3

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10) Temporal logic (03B44)

Related Items (4)

Weighted LTL with Discounting ⋮ Weighted Linear Dynamic Logic ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• \textit{Once} and \textit{for all}
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Handbook of weighted automata
• Weighted automata and weighted logics with discounting
• Skew and infinitary formal power series
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Model checking discounted temporal properties
• Characterizations of Weighted First-Order Logics over Semirings
• Weighted LTL with Discounting
• Determinizing discounted-sum automata
• Quantitative languages
• Equational Weighted Tree Transformations with Discounting
• Pebble Weighted Automata and Transitive Closure Logics
• From Philosophical to Industrial Logics
• Application of model theoretic games to discrete linear orders and finite automata
• Star-free regular sets of ω-sequences
• Lattice Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On weighted first-order logics with discounting