Riesz modal logic with threshold operators

DOI10.1145/3209108.3209118MaRDI QIDQ5145347zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Riesz modal logic for Markov processes
• Probabilistic logics based on Riesz spaces
• Modal operators with probabilistic interpretations. I
• An intuitionistic logic with probabilistic operators
• On modal logics of linear inequalities

Cited in

(5)

• Probabilistic logics based on Riesz spaces
• Riesz modal logic for Markov processes
• Sound approximate and asymptotic probabilistic bisimulations for PCTL
• Proof theory of Riesz spaces and modal Riesz spaces
• Free modal Riesz spaces are Archimedean: a syntactic proof

This page was built for publication: Riesz modal logic with threshold operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145347)