{"id":"arxiv/2604.17296","url":"https://arxiv.org/abs/2604.17296","tags":["math.LO"],"score":0,"title":"Strict potentialism in modal mirrors","domain":"math.LO","source":"arxiv","authors":["Øystein Linnebo"],"reviews":0,"subject":"math.LO","summary":"Potentialism is the view that objects are successively generated in an incompletable process. A strict version of the view adds that truths are successively determined. Strict potentialism can be analyzed using two modalities: one for the generation of objects, another for truths becoming determined. The result is a classical bimodal logic. We obtain simpler and more user-friendly theories by invoking so-called mirroring theorems to ``switch off'' one or both modalities, in return for a less classical logic. When the modality of object generation is switched off, we obtain a restricted…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-19","reactions":{}}