About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | About the unification type of \(\mathbf{K}+\square \square \bot\) |
scientific article |
Statements
About the unification type of \(\mathbf{K}+\square \square \bot\) (English)
0 references
4 May 2022
0 references
propositional modal logics
0 references
locally tabular modal logics
0 references
unification problem
0 references
unification types
0 references
0 references
0 references
