Explore relationships

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.

Use + to expand a branch. Click a topic name to open its summary.