Pages that link to "Item:Q2815679"
From MaRDI portal
The following pages link to Finite model property of modal logics of finite depth (Q2815679):
Displaying 6 items.
- Finite model property for negative modalities (Q890969) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- The finite model property with respect to admissibility for superintuitionistic logic (Q1876415) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
- (Q4856959) (← links)