Abstract
The Logic of Epistemic Actions and Knowledge (EAK) has been introduced by Baltag, Moss and Solecki [1] as a framework for reasoning about knowledge in a dynamic setting. It is thus a language expansion of (classical) modal logic having, besides the usual modal operators that represent knowledge and beliefs of agents, dynamic operators used to represent the epistemic change that can be brought about by epistemic actions such as, e.g., announcements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baltag, A., Moss, L., Solecki, A.: The logic of public announcements, common knowledge, and private suspicions. CWI technical report SEN-R9922 (1999)
Jung, A., Rivieccio, U.: Kripke semantics for modal bilattice logic. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 438–447. IEEE Computer Society Press (2013)
Kurz, A., Palmigiano, A.: Epistemic Updates on Algebras. Logical Methods in Computer Science 9(4:17), 1–28 (2013)
Ma, M., Palmigiano, A., Sadrzadeh, M.: Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Annals of Pure and Applied Logic 165, 963–995 (2014)
Rivieccio, U.: Algebraic semantics for bilattice public announcement logic. In: Indrzejczak, A., Kaczmarek, J., Zawidzki, M. (eds.) Proceedings of Trends in Logic XIII, Lodz, Poland, July 2-5, pp. 199–215. Lodz University Press (2014)
Rivieccio, U.: Bilattice public announcement logic. In: Goré, R., Kooi, B., Kurucz, A. (eds.) Advances in Modal Logic, vol. 10, pp. 459–477. College Publications (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bakhtiarinoodeh, Z., Rivieccio, U. (2015). Epistemic Updates on Bilattices. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_37
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)