Projective relative unification through duality
From MaRDI portal
Cites work
- A syntactic approach to unification in transitive reflexive modal logics
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Admissibility of logical inference rules
- Best solving modal equations
- Blending margins: the modal logic K has nullary unification type
- Does the deduction theorem fail for modal logic?
- Finitary unification in locally tabular modal logics characterized
- Free L-algebras
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 2015264 (Why is no real title available?)
- scientific article; zbMATH DE number 3254948 (Why is no real title available?)
- scientific article; zbMATH DE number 966894 (Why is no real title available?)
- Modal logic
- Normal modal logics containing KTB with some finiteness conditions
- Projective unification in modal logic
- Projective unification in transitive modal logics
- Projective unification in weakly transitive and weakly symmetric modal logics
- Some logics related to von Wright's logic of place
- The extensions of the modal logic K5
- Tools and techniques in modal logic
- Unification and projectivity in Fregean varieties
- Unification in intuitionistic logic
- Unification in linear temporal logic LTL
- Unification in modal and description logics
- Unification in the Description Logic $\mathcal{EL}$
- Unification through projectivity
- Unification types in logic
- Unification, finite duality and projectivity in varieties of Heyting algebras
This page was built for publication: Projective relative unification through duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6915787)
