Robert Furber ; Radu Mardare ; Matteo Mio - Probabilistic logics based on Riesz spaces

lmcs:5306 - Logical Methods in Computer Science, January 27, 2020, Volume 16, Issue 1 - https://doi.org/10.23638/LMCS-16(1:6)2020
Probabilistic logics based on Riesz spacesArticle

Authors: Robert Furber ; Radu Mardare ; Matteo Mio

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.


Volume: Volume 16, Issue 1
Secondary volumes: Selected Papers of the 33rd ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
Published on: January 27, 2020
Accepted on: January 3, 2020
Submitted on: March 25, 2019
Keywords: Computer Science - Logic in Computer Science
Funding:
    Source : OpenAIRE Graph
  • Reliable and Privacy-Aware Software Systems via Bisimulation Metrics; Funder: French National Research Agency (ANR); Code: ANR-16-CE25-0011

3 Documents citing this article

Consultation statistics

This page has been seen 4151 times.
This article's PDF has been downloaded 783 times.