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

completenessKripke bundle semanticsC-set semanticspredicate modal logics

Mathematics Subject Classification ID

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

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

(1)

• An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework

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)