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]