Abstract
We investigate a modal logic for expressing properties of Markov processes whose semantics is real-valued, rather than Boolean, and based on the mathematical theory of Riesz spaces. We use the duality theory of Riesz spaces to provide a connection between Markov processes and the logic. This takes the form of a duality between the category of coalgebras of the Radon monad (modeling Markov processes) and the category of a new class of algebras (algebraizing the logic) which we call modal Riesz spaces. As a result, we obtain a sound and complete axiomatization of the Riesz Modal logic.
Originalsprog | Engelsk |
---|---|
Titel | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 |
Forlag | IEEE |
Publikationsdato | 2018 |
Artikelnummer | 8005091 |
ISBN (Trykt) | 978-1-5090-3019-4 |
ISBN (Elektronisk) | 978-1-5090-3018-7 |
DOI | |
Status | Udgivet - 2018 |
Begivenhed | 2017 32nd Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS) - Reykjavík University in Iceland, Reykjavík , Island Varighed: 20 jun. 2017 → 23 jun. 2017 https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7999337 |
Konference
Konference | 2017 32nd Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS) |
---|---|
Lokation | Reykjavík University in Iceland |
Land/Område | Island |
By | Reykjavík |
Periode | 20/06/2017 → 23/06/2017 |
Internetadresse |