Category:Kripke models

From Wikimedia Commons, the free media repository
Jump to: navigation, search
 The article Kripke models on Wikipedia projects: (en) Kripke semantics ·
(fr) Sémantique de Kripke · (nl) Kripkemodel · (ru) Семантика Крипке · (zh) 关系语义 · +/−

Kripke models are models use in the Kripke semantics: a formal semantics for non-classical logic systems.

Subcategories

This category has only the following subcategory.

L

Media in category "Kripke models"

The following 10 files are in this category, out of 10 total.