Public communication in justification logic

DOI10.1093/LOGCOM/EXQ026zbMath1248.03030OpenAlexW2152584723MaRDI QIDQ3103977

Bryan Renne

Publication date: 19 December 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq026

zbMATH Keywords

bisimulationexpressivityjustification logicpublic announcements

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Logics of Rational Interaction ⋮ Update as Evidence: Belief Expansion ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Realizing public announcements by justifications ⋮ Distributed knowledge justification logics ⋮ A logic of plausible justifications

This page was built for publication: Public communication in justification logic