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".

Verify your Comment

Previewing your Comment

This is only a preview. Your comment has not yet been posted.

Your comment could not be posted. Error type:
Your comment has been saved. Comments are moderated and will not appear until approved by the author. Post another comment

The letters and numbers you entered did not match the image. Please try again.

As a final step before posting your comment, enter the letters and numbers you see in the image below. This prevents automated programs from posting comments.

Having trouble reading this image? View an alternate.


Post a comment

Comments are moderated, and will not appear until the author has approved them.

Your Information

(Name and email address are required. Email address will not be displayed with the comment.)