TY  - RPRT
TI  - Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
AU  - Simon Kramer
AU  - Joshua Sack
PY  - 2012
UR  - https://arxiv.org/abs/1209.1885
ID  - 1209.1885
ER  -