Disambiguation evidence for Kripke semantics via surface form
"Kripke semantics"
Triples (3)
Triples where some other subject referred to this entity
as "Kripke semantics".
An Introduction to Non-Classical Logic
→
covers
→
"Kripke semantics"
ⓘ
↳ resolves to Kripke semantics
Kripke–Kleene semantics in logic programming
→
originatesFrom
→
"Kripke semantics"
ⓘ
↳ resolves to Kripke semantics