クリプキモデルは、フレームに対して各世界にその世界で真となる原子式の集合を割り当てる評価関数、または各原子式に対してその原子式が真となる世界の集合を割り当てる評価関数、あるいは世界と原子式との間の強制関係のいずれかを備え、さらに（適用する論理、例えば様相論理や直観主義論理に応じた）どの式が特定の世界で強制されるかを決定する導出規則を含む構造です。
Quizzes for review
The Kripke model consists of a frame together with either a valuation assigning each world the set of atomic formulas true there, a valuation assigning each atomic formula the set of worlds where it is true, or a forcing relation between worlds and atomic formulas, together with deduction rules (which depend on the chosen logic, such as a modal logic or intuitionistic logic) that determine which formulas are forced at a given world.
The Kripke model consists of a frame together with either a valuation assigning each world the set of atomic formulas true there, a valuation assigning each atomic formula the set of worlds where it is true, or a forcing relation between worlds and atomic formulas, together with deduction rules (which depend on the chosen logic, such as a modal logic or intuitionistic logic) that determine which formulas are forced at a given world.
Related words
Kripke model
English - English
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
