Unification in first-order transitive modal logic (Q5241924)
From MaRDI portal
scientific article; zbMATH DE number 7125824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification in first-order transitive modal logic |
scientific article; zbMATH DE number 7125824 |
Statements
Unification in first-order transitive modal logic (English)
0 references
4 November 2019
0 references
unification
0 references
first-order modal logic
0 references
admissible rules
0 references
structural completeness
0 references
