Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921)
From MaRDI portal
scientific article; zbMATH DE number 7125821
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Remarks about the unification type of several non-symmetric non-transitive modal logics |
scientific article; zbMATH DE number 7125821 |
Statements
Remarks about the unification type of several non-symmetric non-transitive modal logics (English)
0 references
4 November 2019
0 references
normal modal logics
0 references
non-symmetric modal logics
0 references
non-transitive modal logics
0 references
unification problem
0 references
types of modal logics
0 references
