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)

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: