scientific article

zbMath0742.03004MaRDI QIDQ3999881

Marcus Kracht

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiccompletenessfinite model propertycorrespondenceextensions of K4internal definabilityKripke- frame

Mathematics Subject Classification ID

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

Related Items

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Prefinitely axiomatizable modal and intermediate logics ⋮ Modal logics that need very large frames ⋮ On Finite Model Property for Admissible Rules