×

Before announcement. (English) Zbl 1400.03027

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 58-77 (2016).
Summary: We axiomatize the mono-agent logic of knowledge with public announcements and converse public announcements. A special variant of our logic is determined by the model of maximal ignorance wherein the agent considers all valuations of atomic formulas possible.
For the entire collection see [Zbl 1367.03009].

MSC:

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