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.

Palavras-chave: Epistemic logic, Dynamic logic, Action models

Referências

Baltag, A. and Moss, L. (2004). Logics for epistemic programs.Synthese, (139):165–224.

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.
Publicado
26/08/2020
Como Citar

Selecione um Formato
BENEVIDES, Mario Folhadela; LIMA, Isaque Macalam Saab. Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 1. , 2020, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 25-32. ISSN 2763-8731. DOI: https://doi.org/10.5753/wbl.2020.11455.