Pages that link to "Item:Q761445"
From MaRDI portal
The following pages link to On the axiomatization of finite K-frames (Q761445):
Displaying 12 items.
- On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
- Finite and physical modalities (Q817962) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- The preservation of coherence (Q1077400) (← links)
- Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4 (Q1300009) (← links)
- (Q3785586) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS (Q4295227) (← links)
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- The Modality of Finite (Graded Modalities VII) (Q4704653) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Frame-validity games and absolute minimality of modal axioms (Q5224561) (← links)
