Sunday, April 12, 2009

A correction to the SEP Modal Logic Article

I posted a correction to the SEP Modal Logic article at Certain Doubts yesterday. The current version of the SEP article mistakenly claims that knowing that a modal axiom schema is valid on some class of Kripke models is sufficient to uniquely determine the frame properties of that class of models. A short counter-example and explanation of the error is given under the above link.

No comments: