Modal and intermediate logics of spiked Boolean algebras

DOI10.1007/978-3-031-89610-1_12MaRDI QIDQ6889853zbMATH OpenFDO

Authors Benedikt Löwe, Han Xiao

Publication date 4 December 2025

Full work available at URL https://doi.org/10.1007/978-3-031-89610-1_12

zbMATH Keywords

intermediate logicmodal logicspiked Boolean algebras

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• Euclidean hierarchy in modal logic
• scientific article; zbMATH DE number 5295707 (Why is no real title available?)
• scientific article; zbMATH DE number 3685452 (Why is no real title available?)
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• Structural connections between a forcing class and its modal logic
• THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
• The modal logic of forcing

This page was built for publication: Modal and intermediate logics of spiked Boolean algebras

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