Picture for Simon Kramer

Simon Kramer

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)

Add code
Sep 10, 2012
Figure 1 for Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
Viaarxiv icon