Modal axioms like T and 4 encode facts about accessibility relations that cannot be derived from non...
This proposition has not been edited since the history system was added.