PP-2015-12: Block, Alexander C. and Löwe, Benedikt (2015) Modal Logics and Multiverses. [Report]
Preview |
Text (Full Text)
PP-2015-12.text.pdf Download (460kB) | Preview |
Text (Abstract)
PP-2015-12.abstract.txt Download (406B) |
Abstract
We provide a general framework to study modal logics of multiverses and survey the results on the modal logic of forcing, the modal logic of grounds, and the modal logic of inner models. We also provide new results on the modal logic of symmetric extensions.
Item Type: | Report |
---|---|
Report Nr: | PP-2015-12 |
Series Name: | Prepublication (PP) Series |
Year: | 2015 |
Uncontrolled Keywords: | forcing, inner models, symmetric extensions, multiverses |
Depositing User: | Benedikt |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 29 Nov 2018 16:41 |
URI: | https://eprints.illc.uva.nl/id/eprint/523 |
Actions (login required)
View Item |