Disambiguation evidence for Kripke semantics via surface form
"Kripke structures"
Triples (1)
Triples where some other subject referred to this entity
as "Kripke structures".
linked to:
mu-calculus