Fatal Heyting algebras and forcing persistent sentences

DOI10.1007/s11225-012-9393-zzbMath1368.03038OpenAlexW1988045504MaRDI QIDQ454370

Leo Esakia, Benedikt Loewe

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

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) Heyting algebras (lattice-theoretic aspects) (06D20) Other aspects of forcing and Boolean-valued models (03E40) Intermediate logics (03B55)

Related Items (5)

The modal logic of abelian groups ⋮ Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness ⋮ Structural connections between a forcing class and its modal logic ⋮ Mally's deontic logic: reducibility and semantics ⋮ THE MODAL LOGIC OF INNER MODELS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• A remark on functionally free algebras
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• The modal logic of forcing
• Modal Logics Between S 4 and S 5
• Cardinal spaces and topological representations of bimodal logics
• Some theorems about the sentential calculi of Lewis and Heyting

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