Article Dans Une Revue Logical Methods in Computer Science Année : 2020

PROBABILISTIC LOGICS BASED ON RIESZ SPACES

Résumé

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature field of mathematics at the intersection of universal algebra and functional analysis. By using powerful results from this theory, we develop the duality theory of the Riesz modal logic in the form of an algebra-to-coalgebra correspondence. This has a number of consequences including: a sound and complete axiomatization, the proof that the logic characterizes probabilistic bisimulation and other convenient results such as completion theorems. This work is intended to be the basis for subsequent research on extensions of Riesz modal logic with fixed-point operators.

Fichier principal
Vignette du fichier
1903.09463.pdf (606.3 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence
Loading...

Dates et versions

hal-02456423 , version 1 (27-01-2020)

Licence

Identifiants

Citer

Robert Furber, Radu Mardare, Matteo Mio. PROBABILISTIC LOGICS BASED ON RIESZ SPACES. Logical Methods in Computer Science, 2020, 16, ⟨10.23638/LMCS-16(1:6)2020⟩. ⟨hal-02456423⟩
62 Consultations
2555 Téléchargements

Altmetric

Partager

  • More