@InProceedings{agotnes:kr-06,
  year = "2006",
  author =	"Thomas {\AA}gotnes and Natasha Alechina",
  title =	"Semantics for Dynamic Syntactic Epistemic Logics",
  booktitle = {Principles of Knowledge Representation and
                  Reasoning: Proceedings of the Tenth International
                  Conference (KR'06)},
  address =	"Lake District, UK",
  month = "June",
  publisher = "{AAAI}",
  pages = "411--419"
}