Riesz Modal Logic with Threshold Operators

DOI10.1145/3209108.3209118zbMath1453.03017OpenAlexW2798414849MaRDI QIDQ5145347

Matteo Mio

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209118

zbMATH Keywords

axiomatisationprobabilistic logicsreal-valued semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48)

Related Items (4)

Unnamed Item ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Free modal Riesz spaces are Archimedean: a syntactic proof ⋮ Unnamed Item

This page was built for publication: Riesz Modal Logic with Threshold Operators