Pages that link to "Item:Q4304115"
From MaRDI portal
The following pages link to Prefinitely axiomatizable modal and intermediate logics (Q4304115):
Displaying 9 items.
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- ANSWER TO A QUESTION SUGGESTED BY SCHUMM (Q3346283) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← 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)