Probabilistic logics based on Riesz spaces release_pqk4bz4hiffxbklkm33ovkrehe

by Robert Furber and Radu Mardare and Matteo Mio

Released as a article .

2020  

Abstract

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.
In text/plain format

Archived Files and Locations

application/pdf  620.8 kB
file_7wqs3m2j6bbsxjnd5ufdapvnw4
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-01-24
Version   v3
Language   en ?
arXiv  1903.09463v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 769d257b-0e04-4134-b41c-2f2006566375
API URL: JSON