Concurrent Games in Dynamic Epistemic Logic

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri. Concurrent Games in Dynamic Epistemic Logic. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1877-1883, ijcai.org, 2020. [doi]

@inproceedings{MaubertPSS20,
  title = {Concurrent Games in Dynamic Epistemic Logic},
  author = {Bastien Maubert and Sophie Pinchinat and François Schwarzentruber and Silvia Stranieri},
  year = {2020},
  doi = {10.24963/ijcai.2020/260},
  url = {https://doi.org/10.24963/ijcai.2020/260},
  researchr = {https://researchr.org/publication/MaubertPSS20},
  cites = {0},
  citedby = {0},
  pages = {1877-1883},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]},
  editor = {Christian Bessiere},
  publisher = {ijcai.org},
}