Stanford Encyclopedia of Philosophy

Supplement to Actualism

The Simplest Semantics for a Quantified Modal Language

LaTeX image of the semantics