1. Aucher, G.: Dynamic epistemic logic in update logic. J. Logic Comput. 26(6), 1913–1960 (2016).
https://doi.org/10.1093/logcom/exw002
2. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)
3. Episteme (A Series in the Foundational, Methodological, Philosophical, Psychological, Sociological, and Political Aspects of the Sciences, Pure and Applied);N Belnap,1977
4. Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy. Oriel Press Ltd., Stocksfield (1977)
5. van Benthem, J.: Language in Action: Categories, Lambdas and Dynamic Logic. Elsevier Science Publishers, Amsterdam (1991)