Weighted Linear Dynamic Logic

DOI10.1142/S0129054123480088MaRDI QIDQ6154979zbMATH OpenOpenAlexFDO

Authors Manfred Droste, George Rahonis

Publication date 16 February 2024

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054123480088

zbMATH Keywords

temporal logicdynamic logicweighted automataweighted logic

Mathematics Subject Classification ID

Theory of computing (68Qxx) Computability and recursion theory (03Dxx) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 5366670 (Why is no real title available?)
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Weighted μ-Calculus on Words
• A note on the commutative closure of star-free languages
• A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
• Alternation-free weighted mu-calculus: decidability and completeness
• Averaging in LTL
• Discounting in LTL
• First-order definable languages
• Formally reasoning about quality
• Fuzzy languages
• Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
• Handbook of weighted automata
• Lattice Automata
• On a Theorem of R. Jungen
• On iteration semiring-semimodule pairs.
• On the definition of a family of automata
• On weighted first-order logics with discounting
• Parametric linear dynamic logic
• Quantitative languages
• Rational and Recognisable Power Series
• Weighted Automata and Weighted Logics on Infinite Words
• Weighted LTL with discounting
• Weighted automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and regular expressions over valuation monoids
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Weighted automata and weighted logics
• Weighted finite automata over strong bimonoids
• Weighted first-order logics over semirings
• Weighted linear dynamic logic

This page was built for publication: Weighted Linear Dynamic Logic

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