Skip to Main content Skip to Navigation
Conference papers

Weighted versus Probabilistic Logics

Paul Gastin 1 Benedikt Bollig 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection with (temporal) logic and related verification algorithms. In this paper, we will identify weighted versions of MSO and CTL that generalize the classical logics and even other quantitative extensions such as probabilistic CTL. We establish expressiveness results on our logics giving translations from weighted and probabilistic CTL into weighted MSO.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00772679
Contributor : Stefan Haar <>
Submitted on : Thursday, January 10, 2013 - 11:09:32 PM
Last modification on : Monday, February 15, 2021 - 10:50:23 AM

Links full text

Identifiers

Citation

Paul Gastin, Benedikt Bollig. Weighted versus Probabilistic Logics. Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), 2009, Stuttgart, Germany, Germany. pp.18-38, ⟨10.1007/978-3-642-02737-6_2⟩. ⟨hal-00772679⟩

Share

Metrics

Record views

227