Some general completeness results for propositionally quantified modal logics

MaRDI QIDQ6967401zbMATH OpenFDO

Authors Yifeng Ding

Publication date 26 June 2025

zbMATH Keywords

canonical framecompletenessdiversitypropositional quantifierSahlqvist formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(1)

• Nonconservative extensions by propositional quantifiers and modal incompleteness

This page was built for publication: Some general completeness results for propositionally quantified modal logics

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