Pages that link to "Item:Q1111541"
From MaRDI portal
The following pages link to On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541):
Displaying 14 items.
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Lattices of modal logics and their groups of automorphisms (Q1125058) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- Some logics related to von Wright's logic of place (Q1333310) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Invariant logics (Q2776808) (← links)
- (Q3363966) (← links)
- The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 (Q4598506) (← links)
- All splitting logics in the lattice NEXT(KTB.3'A) (Q5040690) (← links)
- New Computational Paradigms (Q5717080) (← links)