Kripke semantics

Show Summary Details

Quick Reference

The standard semantic treatment for modal languages with symbols for necessity and possibility, due to Saul Kripke. The model is a set of possible worlds and a relation on them, corresponding to the idea of one world being ‘accessible’ from another. A valuation function then evaluates sentences as true or false at worlds. Using these models, Kripke was able to bring new treatments to issues such as the decidability, independence, and completeness of different systems of modal logic, where different conditions on the accessibility relation correspond to different strengths of system.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.