The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications

DOI10.1093/logcom/7.2.159zbMath0877.03016OpenAlexW2109235643MaRDI QIDQ4340417

Jian-Hua Chen

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

zbMATH Keywords

knowledge representationnonmonotonic reasoningdeclarative semanticsepistemic specificationsgeneralized logic of only knowingrepresentation of incomplete information in the presence of multiple extensions

Mathematics Subject Classification ID

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