scientific article; zbMATH DE number 7599937
From MaRDI portal
Publication:5039110
Recommendations
- Unification types in Euclidean modal logics
- Unification in modal logic
- Unification in modal and description logics
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification in modal logic \(\mathrm{Alt}_1\)
- scientific article; zbMATH DE number 1471983
- Unification in first-order transitive modal logic
- Filtering unification and most general unifiers in modal logic
- Remarks about the unification types of some locally tabular normal modal logics
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
Cited in
(12)- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Finitary unification in locally tabular modal logics characterized
- Fusion of sequent modal logic systems labelled with truth values
- Algebraic and model theoretic techniques for fusion decidability in modal logics
- Blending margins: the modal logic K has nullary unification type
- Unification types in logic
- scientific article; zbMATH DE number 2015264 (Why is no real title available?)
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Filtering unification and most general unifiers in modal logic
- Frames for fusions of modal logics
- Remarks about the unification types of some locally tabular normal modal logics
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039110)
