All Questions
1 question
18
votes
1
answer
2k
views
What is the modal logic of outer multiverse?
The mathematical multiverse could be viewed as a gigantic Kripke model with models of $ZFC$ as possible worlds connected to each other via a certain accessibility relation.
The modal logic associated ...
