Moving up and down in the generic multiverse

Authors
Publication date 2013
Host editors
  • K. Lodaya
Book title Logic and Its Applications
Book subtitle 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings
ISBN
  • 9783642360381
ISBN (electronic)
  • 9783642360398
Series Lecture Notes in Computer Science
Event 5th Indian Conference on Logic and Its Applications, ICLA 2013
Pages (from-to) 139-147
Publisher Heidelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract
We investigate the modal logic of the generic multiverse which is a bimodal logic with operators corresponding to the relations “is a forcing extension of” and “is a ground model of”. The fragment of the first relation is the modal logic of forcing and was studied by the authors in earlier work. The fragment of the second relation is the modal logic of grounds and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-36039-8_13
Permalink to this page
Back