Modal Possible Worlds Semantics

Contemporary mathematical logic model evaluating propositions across all logically conceivable states of reality.

Source date: 201125