Help


from Wikipedia
« »  
Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written while he was still a teenager, were on the subject of modal logic.
The most familiar logics in the modal family are constructed from a weak logic called K, named after Kripke for his contributions to modal logic.
Kripke introduced the now-standard Kripke semantics ( also known as relational semantics or frame semantics ) for modal logics.
Kripke semantics is a formal semantics for non-classical logic systems.
It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.
The discovery of Kripke semantics was a breakthrough in the making of non-classical logics, because the model theory of such logics was absent prior to Kripke.

2.280 seconds.