Pages that link to "Item:Q4304115"
From MaRDI portal
The following pages link to Prefinitely axiomatizable modal and intermediate logics (Q4304115):
Displaying 6 items.
- Frame based formulas for intermediate logics (Q1005954) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
