Characterizations of Weighted First-Order Logics over Semirings

DOI10.1007/978-3-642-40663-8_23MaRDI QIDQ2850020zbMATH OpenOpenAlexFDO

Authors Eleni Mandrali, George Rahonis

Publication date 20 September 2013

Published in Algebraic Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40663-8_23

zbMATH Keywords

counter-free weighted Büchi automatastar-free seriesweighted FO logicweighted LTL

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Weighted first-order logics over semirings
• Łukasiewicz logic and weighted logics over MV-semirings
• Semigroups underlying first-order logic
• On weighted first-order logics with discounting
• scientific article; zbMATH DE number 2062214
• Weighted automata and weighted logics
• Automata, Languages and Programming
• Weighted automata and weighted logics
• On decidability of recursive weighted logics
• Decidability and expressiveness of recursive weighted logic

Cited in

(2)

• On weighted first-order logics with discounting
• Weighted first-order logics over semirings

This page was built for publication: Characterizations of Weighted First-Order Logics over Semirings

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