@PHDTHESIS{agotnes:phd,
AUTHOR = "Thomas {\AA}gotnes",
TITLE = "A Logic of Finite Syntactic Epistemic States",
SCHOOL = "Department of Informatics, University of Bergen",
YEAR = "2004",
}