 Neighborhood semantics

Neighborhood semantics, also known as Scott-Montague semantics, is a formal semantics for modal logics.It is a generalization, developed independently by Dana Scott and Richard Montague, of the more widely known relational semantics for modal logic.