On weighted first-order logics with discounting

DOI10.1007/S00236-013-0193-3MaRDI QIDQ2453983zbMATH OpenOpenAlexFDO

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

Recommendations

• Weighted LTL with discounting
• Weighted Automata and Weighted Logics with Discounting
• Weighted automata and weighted logics with discounting
• Weighted first-order logics over semirings
• Characterizations of Weighted First-Order Logics over Semirings

Cites work

• scientific article; zbMATH DE number 5854945 (Why is no real title available?)
• scientific article; zbMATH DE number 1163635 (Why is no real title available?)
• scientific article; zbMATH DE number 3436628 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Application of model theoretic games to discrete linear orders and finite automata
• Characterizations of Weighted First-Order Logics over Semirings
• Determinizing discounted-sum automata
• Equational weighted tree transformations with discounting
• First-order definable languages
• From Philosophical to Industrial Logics
• Handbook of weighted automata
• Lattice Automata
• Model checking discounted temporal properties
• Model checking games for the quantitative \(\mu\)-calculus
• Pebble weighted automata and transitive closure logics
• Quantitative languages
• Skew and infinitary formal power series
• Star-free regular sets of ω-sequences
• Weighted LTL with discounting
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Weighted automata and weighted logics with discounting
• \textit{Once} and \textit{for all}

Cited in

(9)

• Weighted automata and weighted logics with discounting
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• scientific article; zbMATH DE number 7561720 (Why is no real title available?)
• Characterizations of Weighted First-Order Logics over Semirings
• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
• Weighted first-order logics over semirings
• Weighted Automata and Weighted Logics with Discounting
• Weighted LTL with discounting

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

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