Canonical Model Construction

A method in modal and related logics that builds a canonical model whose worlds are maximally consistent sets (or saturated theories) of formulas and whose accessibility relations are defined from syntactic conditions; used to prove completeness theorems by establishing a truth lemma linking formulas to membership in worlds.