Modal logic

Topic | v1 | created by jjones |

Modal logic is a collection of formal systems originally developed and still widely used to represent statements about necessity and possibility. For instance, the modal formula ◻P → ◊P can be read as "if P is necessary, then it is also possible". This formula is widely regarded as valid when necessity and possibility are understood with respect to knowledge, as in epistemic modal logic. The first modal axiomatic systems were developed by C. I. Lewis in 1912, building on an informal tradition stretching back to Aristotle. The relational semantics for modal logic was developed by Arthur Prior, Jaakko Hintikka, and Saul Kripke in the mid twentieth century. In this semantics, formulas are assigned truth values relative to a possible world.


Edit details Edit relations Attach new author Attach new topic Attach new resource

treated in Modal Logic (Stanford Encyclopedia of Philosophy)

8.0 rating 5.0 level 8.0 clarity 2.0 background – 1 rating

A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a ju...

treated in Intelligent Agents I

The objective of this course is to introduce students to knowledge representation and reasoning metho...