Abstract
This paper presents a tableau calculus for two semantic interpretations of public announcements over monotone neighbourhood models: the intersection and the subset semantics, developed by Ma and Sano. We show that both calculi are sound and complete with respect to their corresponding semantic interpretations and, moreover, we establish that the satisfiability problem of this public announcement extensions is NP-complete in both cases. The tableau calculi has been implemented in Lotrecscheme.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. CoRR, abs/1310.6406 (2013)
Balbiani, P., van Ditmarsch, H.P., Herzig, A., DeLima, T.: A tableau method for public announcement logics. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 43–59. Springer, Heidelberg (2007)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of TARK, pp. 43–56. Morgan Kaufmann Publishers (1998)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information 6(2), 147–196 (1997)
Governatori, G., Luppi, A.: Labelled tableaux for non-normal modal logics. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 119–130. Springer, Heidelberg (2000)
Grossi, D., Roy, O., Huang, H. (eds.): LORI. LNCS, vol. 8196. Springer, Heidelberg (2013)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(2), 319–379 (1992)
Halpern, J.Y., Rêgo, L.C.: Characterizing the np-pspace gap in the satisfiability problem for modal logic. J. Log. Comput. 17(4), 795–806 (2007)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Holliday, W.H., Hoshi, T., Icard III, T.F.: Schematic validity in dynamic epistemic logic: Decidability. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 87–96. Springer, Heidelberg (2011)
Holliday, W.H., Icard, T.F.: Moorean phenomena in epistemic logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, pp. 178–199. College Publications (2010)
Indrzejczak, A.: Labelled tableau calculi for weak modal logics. Bulletin of the Section of Logic 36(3/4), 159–171 (2007)
Kripke, S.A.: Semantical analysis of modal logic II. non-normal modal propositional calculi. In: Symposium on the Theory of Models. North-Holland Publ. Co., Amsterdam (1965)
Ma, M., Sano, K.: How to update neighborhood models. In Grossi et al. [9], pp. 204–217
Montague, R.: Universal grammar. Theoria 36(3), 373–398 (1970)
Pacuit, E.: Neighborhood Semantics for Modal Logic. An Introduction, Lecture notes for the ESSLLI course A Course on Neighborhood Structures for Modal Logic (2007)
Papadimitriou, C.H.: Computational complexity. Addison-Wesley (1994)
Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007)
Schwarzentruber, F.: Lotrecscheme. Electr. Notes Theor. Comput. Sci. 278, 187–199 (2011)
Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, pp. 143–173. Reidel, Dordrecht (1970)
van Benthem, J.: Open problems in logical dynamics. In: Gabbay, D., Goncharov, S.S., Zakharyaschev, M. (eds.) Mathematical Problems from Applied Logic I. International Mathematical Series, vol. 4, pp. 137–192. Springer, New York (2006)
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1), 61–92 (2011)
van Ditmarsch, H., Kooi, B., van der Hoek, W.: Dynamic Epistemic Logic. Springer (2007)
van Ditmarsch, H., Kooi, B.P.: The secret of my success. Synthese 151(2), 201–232 (2006)
Vardi, M.Y.: On the complexity of epistemic reasoning. In: Proceedings of the Fourth Annual IEEE, Symposium on Logic in Computer Science (LICS 1989), pp. 243–252 (1989)
Velázquez-Quesada, F.R.: Explicit and implicit knowledge in neighbourhood models. In: Grossi et al. [9], pp. 239–252
Zvesper, J.A.: Playing with Information. PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam (2010)
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
Ma, M., Sano, K., Schwarzentruber, F., Velázquez-Quesada, F.R. (2015). Tableaux for Non-normal Public Announcement Logic. In: Banerjee, M., Krishna, S.N. (eds) Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45824-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-45824-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45823-5
Online ISBN: 978-3-662-45824-2
eBook Packages: Computer ScienceComputer Science (R0)