scientific article; zbMATH DE number 847984

MaRDI QIDQ4867031zbMATH OpenFDO

Authors Gerhard Lakemeyer

Publication date 19 June 1996

zbMATH Keywords

autoepistemic logiccompletenessLevesque logiclogic of only-knowing-aboutmodal operatorsproof theoryrelevancesemantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Relevance from an epistemic perspective
• Multi-agent only knowing
• Relevant agents
• On the decidability and complexity of reasoning about only knowing
• Levesque's axiomatization of only knowing is incomplete

Cited in

(7)

• Relevance from an epistemic perspective
• Relevant agents
• Towards Agent-Oriented Relevant Information
• scientific article; zbMATH DE number 1354102 (Why is no real title available?)
• Relevant logic as a basis for paraconsistent epistemic logics
• scientific article; zbMATH DE number 1421195 (Why is no real title available?)
• Relevance through topical unconnectedness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4867031)