@techreport{arXiv:1209.1885v1,
	Author = {S. Kramer and J. Sack},
	Institution = {arXiv},
	Note = {\url{https://arxiv.org/abs/1209.1885}},
	Number = {1209.1885},
	Title = {Parametric Constructive {Kripke}-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)},
	Url = {\url{https://arxiv.org/abs/1209.1885}},
	Year = {2012}}