No label defined (Q4811773)
From MaRDI portal
scientific article; zbMATH DE number 2096995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2096995 |
Statements
6 September 2004
0 references
prioritized belief base
0 references
adaptive logic
0 references
dynamic proof
0 references
inconsistency handling
0 references
Feys's modal logic \textbf{T}
0 references
