en
kripke model
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
intuitionistic logic
➜
en
kripke frame
➜
en
modal logic
➜
en
prime formula
➜
Word forms
en
kripke models
(
n
)
➜
Parts of kripke model
en
kripke frame
(
n
)
➜
Context of this term
en
logic
➜
Links to other resources
en.wiktionary.org
Kripke model