@techreport{DBLP:journals/corr/abs-1209-1885,
  author        = {Simon Kramer and Joshua Sack},
  title         = {Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)},
  journal       = {CoRR},
  volume        = {abs/1209.1885},
  institution   = {University of Luxembourg},
  year          = {2012},
  note          = {Available at \url{http://arxiv.org/abs/1209.1885}},
  bibsource     = {DBLP, http://dblp.uni-trier.de}
}