Concept
Kripke semantics
Overview
semantics for modal logics
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Kripke semantics
Related ideas
- First-order logic
- Deontic logic
- Forcing (mathematics)
- Compactness theorem
- Propositional variable
- Intuitionistic logic
- Jaakko Hintikka
- L. E. J. Brouwer
- Logical connective
- Modus ponens
- Model theory
- Reflexive relation
- Rule of inference
- Sequent calculus
- Soundness
- Semantics
- Arthur Prior
- Completeness (logic)
- Theoretical computer science
- Modal logic
- Second-order logic
- Accessibility relation
- Logical consequence
- Formal system
Place in the tradition
Part of American philosophy.