On the logics with propositional quantifiers extending \textsf{S5}

MaRDI QIDQ5224568zbMATH OpenFDO

Authors Yifeng Ding

Publication date 24 July 2019

zbMATH Keywords

algebraic semanticslattice of modal logicspropositional quantifiersScrogg's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• All normal extensions of S5-squared are finitely axiomatizable
• scientific article; zbMATH DE number 4010486
• Propositional quantification in the topological semantics for S4
• Propositional quantification in bimodal S5
• scientific article; zbMATH DE number 218552

Cited in

(10)

• Propositional quantification in bimodal S5
• An algebraic study of the logic \textbf{S5'(BL)}
• On the logic of belief and propositional quantification
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• scientific article; zbMATH DE number 4010486 (Why is no real title available?)
• scientific article; zbMATH DE number 4116498 (Why is no real title available?)
• Modal logics and local quantifiers: a zoo in the elementary hierarchy
• Modal logics with non-rigid propositional designators
• Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
• Nonconservative extensions by propositional quantifiers and modal incompleteness

This page was built for publication: On the logics with propositional quantifiers extending \textsf{S5}\(\Pi\)

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