<i>KD</i> is nullary (Q4586229)
From MaRDI portal
scientific article; zbMATH DE number 6935723
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>KD</i> is nullary |
scientific article; zbMATH DE number 6935723 |
Statements
<i>KD</i> is nullary (English)
0 references
12 September 2018
0 references
modal logic
0 references
unification problem
0 references
unification type
0 references
0 references
