Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations

DOI10.1017/JSL.2021.102arXiv2103.11480MaRDI QIDQ6363370FDOQ6363370

Authors: Guram Bezhanishvili, Kristina Leifeste Brantley, Julia Ilin 

Publication date: 21 March 2021

Abstract: The G"odel translation provides an embedding of the intuitionistic logic $mathsfIPC$ into the modal logic $mathsfGrz$, which then embeds into the modal logic $mathsfGL$ via the splitting translation. Combined with Solovay's theorem that $mathsfGL$ is the modal logic of the provability predicate of Peano Arithmetic $mathsfPA$, both $mathsfIPC$ and $mathsfGrz$ admit arithmetical interpretations. When attempting to 'lift' these results to the monadic extensions $mathsfMIPC$, $mathsfMGrz$, and $mathsfMGL$ of these logics, the same techniques no longer work. Following a conjecture made by Esakia, we add an appropriate version of Casari's formula to these monadic extensions (denoted by a '+'), obtaining that the G"odel translation embeds $mathsf{M}^{+}IPC$ into $mathsf{M}^{+}Grz$ and the splitting translation embeds $mathsf{M}^{+}Grz$ into $mathsfMGL$. As proven by Japaridze, Solovay's result extends to the monadic system $mathsfMGL$, which leads us to an arithmetical interpretation of both $mathsf{M}^{+}IPC$ and $mathsf{M}^{+}Grz$.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6363370)