Modal logic


Topic history | v1 (current) | created by jjones

Details

Modal logic

| created by jjones | Add resource "Intelligent Agents I"
Title
Modal logic
Description
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.
Link
https://en.wikipedia.org/?curid=333365

resources

authors

This topic has no history of related authors.

topics

This topic has no history of related topics.