Weighted Linear Dynamic Logic

DOI10.1142/S0129054123480088OpenAlexW4388769689MaRDI QIDQ6154979FDOQ6154979

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

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

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)