---
tag: RFQ8DJZNQT
kind: concept
name: Kripke structure
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section K
    note: adopted
    mention: wikipedia://en/76765067#MY9R
    sections: [Summary]
inventory: [AC6ABQF44K]
---

## Summary

A mathematical structure used in modal logic and computer science to model systems that can be in various states and transition between them, forming the basis for Kripke semantics.