scientific article; zbMATH DE number 1735876

zbMATH Open0996.03011MaRDI QIDQ4329237FDOQ4329237

M. J. Cresswell

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenessmodal logicKripke framesBarcan formulamodal predicate logicpredicate extensionde re formula

Mathematics Subject Classification ID

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

Cited In (2)

• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Intuitionism and the modal logic of vagueness

This page was built for publication:

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