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

DOI10.1215/00294527-2021-0014zbMath1487.03036OpenAlexW3166313076MaRDI QIDQ1982014

Giorgio Venturi, David R. Gilbert

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0014

zbMATH Keywords

Blok-Esakia theoremmodal logic of provabilityboxdot translationmodal logic of forcingmodal logic of provability and truthreflexive-insensitive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Generic absoluteness and forcing axioms (03E57)

Cites Work

• Fatal Heyting algebras and forcing persistent sentences
• A note on logics of ignorance and borders
• Provability interpretations of modal logic
• REFLEXIVE-INSENSITIVE MODAL LOGICS
• Cluster expansion and the boxdot conjecture
• Arithmetical necessity, provability and intuitionistic logic
• Embeddings of propositional monomodal logics
• On the Blok-Esakia Theorem
• The modal logic of forcing
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness