In this paper we analyze the connection between reflexive-insensitive modal logics, logics of provability, and the modal logic of forcing. Because of the inter-definability of the ∘-operator that characterizes the reflexive-insensitive logics and Boolos’s ⊡-operator, characterization results for the reflexive-insensitive logics can be used to give a partial solution of the boxdot conjecture, and to illuminate some closely related problems. In turn, this will facilitate the application of reflexive-insensitive logics to the study of the modal logic of forcing and truth and the logic of forcing persistent sentences. We then show that the modal logic of forcing, the modal logic of forcing and truth, and the modal logic of forcing persistency give rise to the same characterizability results. We conclude by arguing that the modal logic of forcing should be better understood as the modal logic of generic absoluteness.

Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness

Venturi G
2021-01-01

Abstract

In this paper we analyze the connection between reflexive-insensitive modal logics, logics of provability, and the modal logic of forcing. Because of the inter-definability of the ∘-operator that characterizes the reflexive-insensitive logics and Boolos’s ⊡-operator, characterization results for the reflexive-insensitive logics can be used to give a partial solution of the boxdot conjecture, and to illuminate some closely related problems. In turn, this will facilitate the application of reflexive-insensitive logics to the study of the modal logic of forcing and truth and the logic of forcing persistent sentences. We then show that the modal logic of forcing, the modal logic of forcing and truth, and the modal logic of forcing persistency give rise to the same characterizability results. We conclude by arguing that the modal logic of forcing should be better understood as the modal logic of generic absoluteness.
2021
Gilbert, D; Venturi, G
File in questo prodotto:
File Dimensione Formato  
Reflexive insensitive boxdot.pdf

non disponibili

Tipologia: Versione finale editoriale
Licenza: NON PUBBLICO - accesso privato/ristretto
Dimensione 372.72 kB
Formato Adobe PDF
372.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/1163582
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact