Disambiguation evidence for Kripke frame via surface form

"Kripke model"

Triples (2)

Triples where some other subject referred to this entity as "Kripke model".

Semantical Considerations on Modal Logic → hasConcept →
"Kripke model"
↳ resolves to Kripke frame
ⓘ
Kripke frame → relatedConcept →
"Kripke model"
↳ resolves to Kripke frame
ⓘ