Notes to Epistemic Logic
1. van Benthem has also pointed out that there is an epistemic logic hidden in game-theory (van Benthem 2000).
2. A topological reconstruction of possible worlds furnishing the entities with enough formal structure to reason about them alethically, temporally and epistemically may be found in Hendricks 2001, 2005. Another successful approach based on neighborhood semantics (intially suggested by Scott and Montague) has recently been pursued by Arló-Costa (2005); see also Sowa 2000 for an elegant multi-modality framework.