Old Web
English
Sign In
Acemap
>
Paper
>
Axiomatizing a Real-Valued Modal Logic
Axiomatizing a Real-Valued Modal Logic
2016
George Metcalfe
Denisa Diaconescu
Laura Janina Schnüriger
Keywords:
Modal μ-calculus
Discrete mathematics
Axiom S5
Algorithm
Accessibility relation
Modal logic
Dynamic logic (modal logic)
Normal modal logic
S5
Multimodal logic
Mathematics
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
4
References
2
Citations
NaN
KQI
[]