Picture for Joshua Sack

Joshua Sack

Logics of Temporal-Epistemic Actions

Add code
Nov 23, 2014
Figure 1 for Logics of Temporal-Epistemic Actions
Figure 2 for Logics of Temporal-Epistemic Actions
Figure 3 for Logics of Temporal-Epistemic Actions
Figure 4 for Logics of Temporal-Epistemic Actions
Viaarxiv icon

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