Johan van Benthem, Jan van Eijck, Barteld P. Kooi. Logics of communication and change. Inf. Comput., 204(11):1620-1662, 2006. [doi]
@article{BenthemEK06, title = {Logics of communication and change}, author = {Johan van Benthem and Jan van Eijck and Barteld P. Kooi}, year = {2006}, doi = {10.1016/j.ic.2006.04.006}, url = {http://dx.doi.org/10.1016/j.ic.2006.04.006}, tags = {logic}, researchr = {https://researchr.org/publication/BenthemEK06}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {204}, number = {11}, pages = {1620-1662}, }