scientific article; zbMATH DE number 1556961

MaRDI QIDQ4526734zbMATH OpenFDO

Authors Eiko Isoda, Tatsuya Shimura

Publication date 26 July 2001

zbMATH Keywords

Barcan formulaKripke incompletenessKripke semanticsmodal logicnormal extensionpredicate extensionsubframe logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2024613
• Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
• Incompleteness results in Kripke semantics
• Incompleteness and the Barcan formula
• scientific article; zbMATH DE number 1735876

Cited in

(2)

• Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
• scientific article; zbMATH DE number 2024613 (Why is no real title available?)

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 Q4526734)