EasyChair Smart SlideHelp/Log in
Title:Riesz Modal Logic with Threshold Operators
Authors:Matteo Mio
Conference:LICS18
Tags:complete axiomatization, probabilistic CTL and Riesz modal logic
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.

 
Riesz Modal Logic with Threshold Operators
 
1
3
5
7
9
11
13
15
17
19
21
23
25
27
29
31
33
35
37
39
41
43
45
47
49
51
53
55
57
59
61
63
65
67
69
71
73
75
77
79
81
83
85
87
89
91
93
94
1of94
1
2
3
4
Copyright © 2002 – 2021 EasyChair