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

DOI10.1215/00294527-2021-0014MaRDI QIDQ1982014zbMATH OpenOpenAlexFDO

Authors David R. Gilbert, Giorgio Venturi

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)

Recommendations

• Reflexive-insensitive modal logics
• The modal logic of inner models
• The modal logic of forcing
• Substructural logics with a reflexive transitive closure modality
• Structural connections between a forcing class and its modal logic

Cites work

• scientific article; zbMATH DE number 6538187 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 6868325 (Why is no real title available?)
• scientific article; zbMATH DE number 6287581 (Why is no real title available?)
• A note on logics of ignorance and borders
• An \(\Omega\)-logic primer
• Arithmetical necessity, provability and intuitionistic logic
• Cluster expansion and the boxdot conjecture
• Embeddings of propositional monomodal logics
• Fatal Heyting algebras and forcing persistent sentences
• Logics of essence and accident
• Nearly every normal modal logic is paranormal
• On the Blok-Esakia theorem
• Provability interpretations of modal logic
• Reflexive-insensitive modal logics
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The boxdot conjecture and the language of essence and accident
• The modal logic of forcing

Cited in

(5)

• Cluster expansion and the boxdot conjecture
• Logics of true belief
• The modal logic of forcing
• Fatal Heyting algebras and forcing persistent sentences
• Reflexive-insensitive modal logics

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

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