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 15 items.
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- On logics with coimplication (Q1272827) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- On independent axiomatizability of quasi-normal modal logics (Q2082254) (← links)
- Invariant logics (Q2776808) (← links)
- (Q3574473) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- Prefinitely axiomatizable modal and intermediate logics (Q4304115) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- (Q4896535) (← links)
- Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← 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)