Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster

DOI10.1023/A:1005219831286zbMath0969.03027OpenAlexW1556439193MaRDI QIDQ1582312

Tatsuya Shimura

Publication date: 30 September 2001

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal predicate logicKripke incompletenesssubframe formulacanonical formulafinite embedding propertyframe formula

Mathematics Subject Classification ID

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