Projective unification in transitive modal logics
From MaRDI portal
Recommendations
Cited in
(20)- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Modal consequence relations extending S4.3: an application of projective unification
- Finitary unification in locally tabular modal logics characterized
- A syntactic approach to unification in transitive reflexive modal logics
- Projective unification in modal logic
- Blending margins: the modal logic K has nullary unification type
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
- Exploring a result by Ghilardi: projective formulas vs. the extension property
- Ideal Related Algebras and Their Logics Extended Abstract
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification in first-order transitive modal logic
- Remarks on projective unifiers
- Transparent unifiers in modal logics with self-conjugate operators
- Projective unification in weakly transitive and weakly symmetric modal logics
- Elementary unification in modal logic \(KD45\)
- About the unification types of modal logics
- Unification types and union splittings in intermediate logics
- Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
- Computing most general unifiers in Euclidean modal logics
- Projective relative unification through duality
This page was built for publication: Projective unification in transitive modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5095652)
