Analytic tableaux for default logics (Q4868235)
From MaRDI portal
scientific article; zbMATH DE number 852013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic tableaux for default logics |
scientific article; zbMATH DE number 852013 |
Statements
Analytic tableaux for default logics (English)
0 references
27 May 1996
0 references
extensions
0 references
default logics
0 references
tableau
0 references
