Kripke bundle semantics and C-set semantics

DOI10.1023/A:1004930400566MaRDI QIDQ1368913zbMATH OpenOpenAlexFDO

Authors Eiko Isoda

Publication date 1 July 1998

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1004930400566

zbMATH Keywords

C-set semanticscompletenessKripke bundle semanticspredicate modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Review text

The paper shows that the first-order modal logic Q-S4.1 is not complete with respect to Kripke bundle semantics. It follows that C-set semantics is stronger than Kripke bundle semantics for predicate modal logics.

Recommendations

• Incompleteness Results in Kripke Bundle Semantics
• scientific article; zbMATH DE number 218502
• scientific article; zbMATH DE number 2196603
• Incompleteness results in Kripke semantics

Cited in

(3)

• An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework
• Incompleteness Results in Kripke Bundle Semantics
• The monadic Grzegorczyk logic

This page was built for publication: Kripke bundle semantics and C-set semantics

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