Pages that link to "Item:Q3875896"
From MaRDI portal
The following pages link to The lattice of modal logics: an algebraic investigation (Q3875896):
Displaying 39 items.
- Matching topological and frame products of modal logics (Q295921) (← links)
- An axiomatization of the modal theory of the veiled recession frame (Q599806) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- An effective representation for finitely generated free interior algebras (Q1063013) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Involutions defined by monadic terms (Q1121302) (← links)
- Varieties with equationally definable principal congruences (Q1146705) (← links)
- The lattice of varieties of modal algebras is not strongly atomic (Q1150644) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Topological soft algebra and its application (Q1187467) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Some Computational Constraints in Epistemic Logic (Q2971698) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- (Q4612556) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- Bounded lattice expansions (Q5936163) (← links)
