A tableau calculus for minimal model reasoning (Q4645243)
From MaRDI portal
scientific article; zbMATH DE number 6999526
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A tableau calculus for minimal model reasoning |
scientific article; zbMATH DE number 6999526 |
Statements
A tableau calculus for minimal model reasoning (English)
0 references
10 January 2019
0 references
0 references
