Pages that link to "Item:Q540406"
From MaRDI portal
The following pages link to An algebraic approach to subframe logics. Modal case (Q540406):
Displaying 11 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- The power of a propositional constant (Q742479) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
