Pages that link to "Item:Q4835534"
From MaRDI portal
The following pages link to On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534):
Displaying 7 items.
- On logics with coimplication (Q1272827) (← links)
- On independent axiomatizability of quasi-normal modal logics (Q2082254) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- (Q4896535) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms (Q6050171) (← links)
