Remarks about the unification types of some locally tabular normal modal logics
From MaRDI portal
(Redirected from Publication:5877709)
Recommendations
- Unification types in Euclidean modal logics
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- scientific article; zbMATH DE number 7599937
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
- scientific article; zbMATH DE number 1471983
Cited in
(14)- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
- scientific article; zbMATH DE number 2015264 (Why is no real title available?)
- scientific article; zbMATH DE number 1471983 (Why is no real title available?)
- Unification in pretabular extensions of S4
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification in modal logic \(\mathrm{Alt}_1\)
- Elementary unification in modal logic \(KD45\)
- About the unification types of modal logics
- Transparent unifiers in modal logics with self-conjugate operators
- Unimodularity unified
- Blending margins: the modal logic K has nullary unification type
- scientific article; zbMATH DE number 7599937 (Why is no real title available?)
- Unification types in Euclidean modal logics
- Unifiability in extensions of K4
This page was built for publication: Remarks about the unification types of some locally tabular normal modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5877709)
