Kripke semantics (Q2462350)
Jump to navigation
Jump to search
semantics for modal logics
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kripke semantics |
semantics for modal logics |
Statements
Kripke models
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(8 entries)
- enwiki Kripke semantics
- frwiki Sémantique de Kripke
- jawiki クリプキ・モデル
- nlwiki Kripkemodel
- ptwiki Semânticas de Kripke
- ruwiki Семантика Крипке
- ukwiki Семантика Кріпке
- zhwiki 关系语义
Wikibooks(1 entry)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Kripke models