A sound and complete tableau calculus for reasoning about only knowing and knowing at most (Q5955625)
From MaRDI portal
scientific article; zbMATH DE number 1705615
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound and complete tableau calculus for reasoning about only knowing and knowing at most |
scientific article; zbMATH DE number 1705615 |
Statements
A sound and complete tableau calculus for reasoning about only knowing and knowing at most (English)
0 references
3 September 2002
0 references
nonmonotonic reasoning
0 references
autoepistemic logics
0 references
commonsense reasoning
0 references
tableau calculus
0 references
logic of only knowing and knowing at most
0 references
possible-worlds semantics
0 references
computational complexity of reasoning
0 references
