Strong completeness with respect to finite Kripke models
From MaRDI portal
Publication:1167163
DOI10.1007/BF02584059zbMath0491.03027OpenAlexW1991484667MaRDI QIDQ1167163
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02584059
modal algebrasnormal modal logicfinite Kripke framespseudo-Boolean algebrasvarieties generated by a finite algebra
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Varieties (08B99) Intermediate logics (03B55)
Cites Work