Pages that link to "Item:Q1361249"
From MaRDI portal
The following pages link to The structure of lattices of subframe logics (Q1361249):
Displayed 10 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Connected modal logics (Q535140) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Modal logics that need very large frames (Q5937849) (← links)