Probabilistic Epistemic Updates on Algebras
DOI10.1145/3341725zbMath1433.03043arXiv1612.05267OpenAlexW2969806710WikidataQ127348312 ScholiaQ127348312MaRDI QIDQ4972163
Nachoem Wijnberg, Sabine Frittella, Willem Conradie, Apostolos Tzimoulis, Alessandra Palmigiano
Publication date: 22 November 2019
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1612.05267
dualityalgebraic modelsintuitionistic modal logicintuitionistic probabilistic dynamic epistemic logicpointfree semantics
Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: Probabilistic Epistemic Updates on Algebras