Riesz Modal logic for Markov processes

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Resumé

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.
OriginalsprogEngelsk
Titel2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
ForlagIEEE
Publikationsdato2018
Artikelnummer8005091
ISBN (Trykt) 978-1-5090-3019-4
ISBN (Elektronisk)978-1-5090-3018-7
DOI
StatusUdgivet - 2018
Begivenhed2017 32nd Annual ACM/
IEEE Symposium on Logic in Computer Science (LICS)
- Reykjavík University in Iceland, Reykjavík , Island
Varighed: 20 jun. 201723 jun. 2017
https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7999337

Konference

Konference2017 32nd Annual ACM/
IEEE Symposium on Logic in Computer Science (LICS)
LokationReykjavík University in Iceland
LandIsland
ByReykjavík
Periode20/06/201723/06/2017
Internetadresse

Fingerprint

Riesz Space
Modal Logic
Markov Process
Logic
Monads
Duality Theory
Coalgebra
Axiomatization
Duality
Modeling

Citer dette

Mio, M., Furber, R., & Mardare, R. I. (2018). Riesz Modal logic for Markov processes. I 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 [8005091] IEEE. https://doi.org/10.1109/LICS.2017.8005091
Mio, Matteo ; Furber, Robert ; Mardare, Radu Iulian. / Riesz Modal logic for Markov processes. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 2018.
@inproceedings{57f837604ff047698631819b2a0b0296,
title = "Riesz Modal logic for Markov processes",
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.",
author = "Matteo Mio and Robert Furber and Mardare, {Radu Iulian}",
year = "2018",
doi = "10.1109/LICS.2017.8005091",
language = "English",
isbn = "978-1-5090-3019-4",
booktitle = "2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017",
publisher = "IEEE",
address = "United States",

}

Mio, M, Furber, R & Mardare, RI 2018, Riesz Modal logic for Markov processes. i 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017., 8005091, IEEE, 2017 32nd Annual ACM/
IEEE Symposium on Logic in Computer Science (LICS), Reykjavík , Island, 20/06/2017. https://doi.org/10.1109/LICS.2017.8005091

Riesz Modal logic for Markov processes. / Mio, Matteo; Furber, Robert; Mardare, Radu Iulian.

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 2018. 8005091.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Riesz Modal logic for Markov processes

AU - Mio, Matteo

AU - Furber, Robert

AU - Mardare, Radu Iulian

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85034112812&partnerID=8YFLogxK

U2 - 10.1109/LICS.2017.8005091

DO - 10.1109/LICS.2017.8005091

M3 - Article in proceeding

SN - 978-1-5090-3019-4

BT - 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017

PB - IEEE

ER -

Mio M, Furber R, Mardare RI. Riesz Modal logic for Markov processes. I 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE. 2018. 8005091 https://doi.org/10.1109/LICS.2017.8005091