The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
From MaRDI portal
Publication:4340417
DOI10.1093/logcom/7.2.159zbMath0877.03016OpenAlexW2109235643MaRDI QIDQ4340417
Publication date: 8 December 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.2.159
knowledge representationnonmonotonic reasoningdeclarative semanticsepistemic specificationsgeneralized logic of only knowingrepresentation of incomplete information in the presence of multiple extensions
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items
A sound and complete proof theory for the generalized logic of only knowing ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming