PP-2015-12: Modal Logics and Multiverses

PP-2015-12: Block, Alexander C. and Löwe, Benedikt (2015) Modal Logics and Multiverses. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (460kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (406B)


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 View Item