On Kripke completeness of some modal predicate logics with the density axiom

MaRDI QIDQ5224587zbMATH OpenFDO

Authors Valentin Shehtman

Publication date 24 July 2019

zbMATH Keywords

Kripke semanticscanonical modelmodal predicate logicKripke completenessdensity axiommodel construction games

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 810109
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Kripke completeness of infinitary predicate multimodal logics
• A completeness theorem for continuous predicate modal logic
• scientific article; zbMATH DE number 1735876

Cited in

(1)

• On Kripke completeness of modal predicate logics around quantified \textbf{K5}

This page was built for publication: On Kripke completeness of some modal predicate logics with the density axiom

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