Loading…
Loading…
Concept · Foundations
A complete way things could consistently be, usually represented as a point in a model at which every proposition has a definite truth value.
Why it matters
Possible worlds give modal talk a precise semantics and make box and diamond operators something you can actually compute over.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related