The modal logic of set-theoretic potentialism and the potentialist maximality principles
We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [HLL15], including the use of buttons, switches, dials and ratchets. Among...
Main Authors: | Hamkins, J, Linnebo, Ø |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Cambridge University Press
2019
|
Similar Items
-
Branchwise-real trees and bisimulations of potentialist systems
by: Adam-Day, S
Published: (2023) -
Set-theoretic mereology
by: Hamkins, J, et al.
Published: (2016) -
Set-theoretic geology
by: Fuchs, G, et al.
Published: (2014) -
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
by: Montanari, A, et al.
Published: (2010) -
Structural connections between a forcing class and its modal logic
by: Hamkins, J, et al.
Published: (2015)