@inproceedings{skramerIMLA2008,
	Author = {S. Kramer},
	Booktitle = {Proceedings of the {LiCS}-affiliated Intuitionistic Modal Logics and Applications Workshop},
	Title = {Reducing Provability to Knowledge in Multi-Agent Systems},
	Year = {2008}}