Severing from Lewis's framework removes the only fully rigorous semantics available for modal logic ...
This proposition has not been edited since the history system was added.