Fatal Heyting algebras and forcing persistent sentences

DOI10.1007/S11225-012-9393-ZMaRDI QIDQ454370zbMATH OpenOpenAlexFDO

Authors Leo Esakia, Benedikt Löwe

Publication date 1 October 2012

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-012-9393-z

zbMATH Keywords

forcingHeyting algebraintermediate logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other aspects of forcing and Boolean-valued models (03E40) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• The modal logic of forcing
• Structural connections between a forcing class and its modal logic
• Forcing in Proof Theory
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A remark on functionally free algebras
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Cardinal spaces and topological representations of bimodal logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Modal Logics Between S 4 and S 5
• Some theorems about the sentential calculi of Lewis and Heyting
• The modal logic of forcing
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• Mally's deontic logic: reducibility and semantics
• The modal logic of inner models
• The modal logic of abelian groups
• Structural connections between a forcing class and its modal logic
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

This page was built for publication: Fatal Heyting algebras and forcing persistent sentences

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