FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Riesz Modal Logic with Threshold Operators

Author: Matteo Mio

Paper Information

Title:Riesz Modal Logic with Threshold Operators
Authors:Matteo Mio
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:probabilistic CTL, axiomatization, Riesz modal logic, duality
Abstract:

ABSTRACT. We present a sound and complete axiomatization of the Riesz modal logic extended with one inductively defined operator which allows the definition of threshold operators. This logic is capable of interpreting the bounded fragment of the logic probabilistic CTL over discrete and continuous Markov chains.

Pages:10
Talk:Jul 10 14:20 (Session 55D)
Paper: