From Wikimedia Commons, the free media repository
Kripke models are models use in the Kripke semantics: a formal semantics for non-classical logic systems.
This category has only the following subcategory.
- ► Linear temporal logic (6 F)
Media in category "Kripke models"
The following 10 files are in this category, out of 10 total.