Thomas Ågotnes, Michal Walicki. Complete Axiomatizations of Finite Syntactic Epistemic States. In Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni, editors, Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Volume 3904 of Lecture Notes in Computer Science, pages 33-50, Springer, 2005. [doi]
@inproceedings{AgotnesW05:1,
title = {Complete Axiomatizations of Finite Syntactic Epistemic States},
author = {Thomas Ågotnes and Michal Walicki},
year = {2005},
doi = {10.1007/11691792_3},
url = {http://dx.doi.org/10.1007/11691792_3},
tags = {completeness},
researchr = {https://researchr.org/publication/AgotnesW05%3A1},
cites = {0},
citedby = {0},
pages = {33-50},
booktitle = {Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers},
editor = {Matteo Baldoni and Ulle Endriss and Andrea Omicini and Paolo Torroni},
volume = {3904},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-33106-9},
}