Multi-agent only-knowing

MaRDI QIDQ5740436zbMATH OpenFDO

Authors Vaishak Belle, Gerhard Lakemeyer

Publication date 26 July 2016

Full work available at URL https://arxiv.org/abs/1009.2041

zbMATH Keywords

non-monotonic behavioronly-knowing

Mathematics Subject Classification ID

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

Recommendations

• Semantical considerations on multiagent only knowing
• Multi-agent only knowing
• Multiagent only knowing in dynamic systems
• A theory of knowledge and ignorance for many agents
• Levesque's axiomatization of only knowing is incomplete

Cited in

(12)

• Local properties in modal logic
• Levesque's axiomatization of only knowing is incomplete
• On the decidability and complexity of reasoning about only knowing
• Multi-agent only knowing
• A theory of knowledge and ignorance for many agents
• Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
• Multi-agent Explicit Knowledge
• Logical Spaces in Multi-agent Only Knowing Systems
• Multiagent only knowing in dynamic systems
• Consistency proofs for systems of multi-agent only knowing
• Base-based model checking for multi-agent only believing
• Semantical considerations on multiagent only knowing

This page was built for publication: Multi-agent only-knowing

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