Riesz modal logic for Markov processes

Matteo Mio; Robert Furber; Radu Mardare

doi:10.1109/LICS.2017.8005091

Riesz modal logic for Markov processes

Matteo Mio, Robert Furber, Radu Mardare

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

6 Citations (Scopus)

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.

Original language	English
Title of host publication	32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
Number of pages	12
ISBN (Electronic)	9781509030187
DOIs	https://doi.org/10.1109/LICS.2017.8005091
Publication status	Published - 8 Aug 2017
Event	32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 - Reykjavik, Iceland Duration: 20 Jun 2017 → 23 Jun 2017

Conference

Conference	32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
Country/Territory	Iceland
City	Reykjavik
Period	20/06/17 → 23/06/17

Keywords

Markov processes
Radon
extraterrestrial measurements
calculus
topology
probabilistic logics
algebra
category theory
duality (mathematics)
formal logic

Access to Document

10.1109/LICS.2017.8005091

Cite this

@inproceedings{2e4d34066df14c90b56455c6f1f5dd7c,

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.",

keywords = "Markov processes, Radon, extraterrestrial measurements, calculus, topology, probabilistic logics, algebra, category theory, duality (mathematics), formal logic",

author = "Matteo Mio and Robert Furber and Radu Mardare",

year = "2017",

month = aug,

day = "8",

doi = "10.1109/LICS.2017.8005091",

language = "English",

booktitle = "32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017",

note = "32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 ; Conference date: 20-06-2017 Through 23-06-2017",

}

TY - GEN

T1 - Riesz modal logic for Markov processes

AU - Mio, Matteo

AU - Furber, Robert

AU - Mardare, Radu

PY - 2017/8/8

Y1 - 2017/8/8

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.

KW - Markov processes

KW - Radon

KW - extraterrestrial measurements

KW - calculus

KW - topology

KW - probabilistic logics

KW - algebra

KW - category theory

KW - duality (mathematics)

KW - formal 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 - Conference contribution book

AN - SCOPUS:85034112812

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

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

Y2 - 20 June 2017 through 23 June 2017

ER -

Riesz modal logic for Markov processes

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this