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

DOI10.1215/00294527-2021-0014zbMATH Open1487.03036OpenAlexW3166313076MaRDI QIDQ1982014FDOQ1982014

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

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

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

• Nearly every normal modal logic is paranormal
• Title not available (Why is that?)
• On the Blok-Esakia theorem
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Provability interpretations of modal logic
• Embeddings of propositional monomodal logics
• Fatal Heyting algebras and forcing persistent sentences
• The modal logic of forcing
• Reflexive-insensitive modal logics
• Arithmetical necessity, provability and intuitionistic logic
• Logics of essence and accident
• Title not available (Why is that?)
• A note on logics of ignorance and borders
• Cluster expansion and the boxdot conjecture
• An \(\Omega\)-logic primer
• Title not available (Why is that?)
• The boxdot conjecture and the language of essence and accident
• Title not available (Why is that?)

Cited In (5)

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

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)