Which three components define a Kripke model M for modal logic?
Medium
Create a free account to see more questions and build your own quiz.
Get StartedWhich three components define a Kripke model M for modal logic?
Options:
- A nonempty set of worlds W, an accessibility relation R on W, and a valuation V
- A set of axioms, a deduction relation, and a proof system
- A truth assignment for each propositional variable only
- A set of formulas, a single distinguished world, and a modal operator
Correct answer: A nonempty set of worlds W, an accessibility relation R on W, and a valuation V
Explanation: A Kripke model M = (W,R,V) consists of a set of worlds W, an accessibility relation R ⊆ W×W, and a valuation V mapping propositional atoms to subsets of W; Kripke introduced this approach circa 1959.
Created . Updated .