%0 Journal Article %1 journals/logcom/DitmarschHL11 %A van Ditmarsch, Hans %A Herzig, Andreas %A de Lima, Tiago %D 2011 %J J. Log. Comput. %K dblp %N 2 %P 179-204 %T From Situation Calculus to Dynamic Epistemic Logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#DitmarschHL11 %V 21

@article{journals/logcom/DitmarschHL11, added-at = {2020-02-28T00:00:00.000+0100}, author = {van Ditmarsch, Hans and Herzig, Andreas and de Lima, Tiago}, biburl = {https://www.bibsonomy.org/bibtex/2b668a37974278627c2c0a00ca64b7bdf/dblp}, ee = {https://doi.org/10.1093/logcom/exq024}, interhash = {84df9c7d9f81f9929fe234eb498ffe0e}, intrahash = {b668a37974278627c2c0a00ca64b7bdf}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {179-204}, timestamp = {2020-02-29T11:39:49.000+0100}, title = {From Situation Calculus to Dynamic Epistemic Logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#DitmarschHL11}, volume = 21, year = 2011 }