Blog powered by Typepad

« Australasian Association of Philosophy | Main | Ignorance and Imagination »

June 28, 2006



Traditionally S4 has been seen as the correct modal logic for epistemic modal logic. Also S4 is known to have topological semantics, (McKinsey and Tarski). I wonder if you take any of this into consideration when formalizing your idea of "epistemic space".

The comments to this entry are closed.