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
- Publication:3073216
- \(K\)-frames for Krein spaces
- On the sum of K-frames in Hilbert spaces
- Some properties of \(K\)-frames in Hilbert spaces
- Publication:4673299
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)