Unravelling (logic)
Redirect to:
Kripke semantics#Model constructions