Lewis's possible-worlds semantics provides a unified framework successfully explaining modal logic, ...
This proposition has not been edited since the history system was added.