Publication:4314597
From MaRDI portal
zbMath0822.68104MaRDI QIDQ4314597
Publication date: 9 October 1995
Related Items
Unnamed Item, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, On the decidability and complexity of reasoning about only knowing, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions