Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
From MaRDI portal
Publication:1582312
DOI10.1023/A:1005219831286zbMath0969.03027OpenAlexW1556439193MaRDI QIDQ1582312
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
modal predicate logicKripke incompletenesssubframe formulacanonical formulafinite embedding propertyframe formula