On weighted first-order logics with discounting

DOI10.1007/S00236-013-0193-3zbMATH Open1359.03017OpenAlexW2049825599MaRDI QIDQ2453983FDOQ2453983

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Weighted automata and weighted logics with discounting
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• Title not available (Why is that?)
• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
• Characterizations of Weighted First-Order Logics over Semirings
• 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)