On the axiomatization of finite K-frames

DOI10.1007/BF01371627MaRDI QIDQ761445zbMATHFDO

Authors Fabio Bellissima, Massimo Mirolli

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicfinite frameaxiomatization of framesaxiomatization of models

Mathematics Subject Classification ID

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

Recommendations

• \(K\)-frames from finite extensions
• A finite axiom scheme for approach frames
• \(K\)-frames in Hilbert spaces
• \(K\)-frames for Banach spaces
• Constructions of \(K\)-frames in Hilbert spaces
• scientific article; zbMATH DE number 5846170
• \(K\)-frames for Krein spaces
• On the sum of K-frames in Hilbert spaces
• Some properties of \(K\)-frames in Hilbert spaces
• scientific article; zbMATH DE number 2162893

Cited in

(12)

• Derivation rules as anti-axioms in modal logic
• Minimal Axiomatization in Modal Logic
• The Modality of Finite (Graded Modalities VII)
• The preservation of coherence
• Frame based formulas for intermediate logics
• scientific article; zbMATH DE number 4048627 (Why is no real title available?)
• Finite and physical modalities
• scientific article; zbMATH DE number 1418445 (Why is no real title available?)
• Frame-validity games and absolute minimality of modal axioms
• Remarks on Stable Formulas in Intuitionistic Logic
• On the \(\mu \)-calculus over transitive and finite transitive frames
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS

This page was built for publication: On the axiomatization of finite K-frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761445)