Pages that link to "Item:Q1361249"
From MaRDI portal
The following pages link to The structure of lattices of subframe logics (Q1361249):
Displaying 17 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)
- A splitting logic in NExt(KTB) (Q995667) (← 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)
- (Q4440570) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- (Q4895423) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- (Q5144357) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)