Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions
Resumo
This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.
Referências
Baltag, A., Moss, L., and Solecki, S. (1998). The logic of common knowledge, publicannouncements and private suspition. In Gilboa, I., editor,The7thConference onTheoretical Aspects of Rationality and Knowledge (TARK 98), pages 43–56.
Benevides, M. and Lima, I. (2017). Action models with postconditions.Computacion y Sistemas, 21:401–406.
Benevides, M. and Lima, I. (2019). Dynamic epistemic logic with communication actions. Electronic Notes in Theoretical Computer Science, pages 67–82.
Fagin, R., Halpern, J., Moses, Y., and Vardi, M. (1995).Reasoning about Knowledge.MIT Press, USA.
Gerbrandy, J. and Groeneveld, W. (1997). Reasoning about information change. Journalof Logic, Language, and Information, (6):147–169.
Harel, D. (1984).Dynamic Logic. Handbook of Philosophical Logic. Dordrecht:Reidel,Vol.2. ed. D. Gabbay and F. Guenthner.
Peleg, D. (1987). Communication in concurrent dynamic logic.Journal of Computer and System Sciences, 35:23–58.
Plaza, J. A. (1989). Logics of Public Communications. Proceedings of the4thInternatio-nal Symposium on Methodologies for Intelligent Systems. North-Holland: 201–216.
Sietsma, F. (2012).Logics of Communication and Knowledge. PhD thesis, University ofAmsterdam (CWI-ILLC).
van Benthem, J., van Eijck, J., and Kooi, B. P. (2006). Logics of communication andchange.Inf. Comput., 204(11):1620–1662.
van Ditmarsch, H. (2001).The Semantics of Concurrent Knowledge Actions. Workshopon Logic and Games, Ed. M. Pauly and G. Sandu, ESSLLI.
van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2003).Concurrent Dynamic Episte-mic Logic. Kluwer, Ed. V.F. Hendricks et al.,vol. 322.
van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2005). Dynamic epistemic logic withassignment.AAMAS, 4(1):141–148.
van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2008).Dynamic Epistemic Logic.Synthese Library Series, volume 337. Springer, The Netherland.