Levesque's axiomatization of only knowing is incomplete

DOI10.1016/0004-3702(95)00007-2zbMath1014.03511OpenAlexW2004226183MaRDI QIDQ1855217

Gerhard Lakemeyer, Joseph Y. Halpern

Publication date: 4 February 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(95)00007-2

zbMATH Keywords

logic of only knowing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

Only knowing with degrees of confidence ⋮ Limited reasoning in first-order knowledge bases with full introspection ⋮ Semantical considerations on multiagent only knowing ⋮ On the decidability and complexity of reasoning about only knowing

Cites Work

• Unnamed Item
• Foundations of a functional approach to knowledge representation
• All I know: A study in autoepistemic logic

This page was built for publication: Levesque's axiomatization of only knowing is incomplete