An Algebraic Approach to Dynamic Epistemic Logic

Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh. An Algebraic Approach to Dynamic Epistemic Logic. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

@inproceedings{PanangadenPPS10,
  title = {An Algebraic Approach to Dynamic Epistemic Logic},
  author = {Prakash Panangaden and Caitlin Phillips and Doina Precup and Mehrnoosh Sadrzadeh},
  year = {2010},
  url = {http://ceur-ws.org/Vol-573/paper_16.pdf},
  tags = { algebra, logic, systematic-approach},
  researchr = {https://researchr.org/publication/PanangadenPPS10},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  editor = {Volker Haarslev and David Toman and Grant E. Weddell},
  volume = {573},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}