Riesz Modal Logic with Threshold Operators

DOI10.1145/3209108.3209118zbMATH Open1453.03017OpenAlexW2798414849WikidataQ130838836 ScholiaQ130838836MaRDI QIDQ5145347FDOQ5145347

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)

Cited In (4)

• Sound approximate and asymptotic probabilistic bisimulations for PCTL
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)