scientific article

zbMATH Open0765.68181MaRDI QIDQ4028802FDOQ4028802

Joseph Y. Halpern, Adam J. Grove

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Naming and identity in epistemic logic. II: A first-order logic for naming
• When names are not commonly known: epistemic logic with assignments
• Identity in epistemic semantics
• scientific article; zbMATH DE number 1453144
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• scientific article; zbMATH DE number 7503166
• Efficient reasoning in multiagent epistemic logics
• Dynamic epistemic logic of finite identification
• Knowing-who in quantified epistemic logic

zbMATH Keywords

epistemic logicscope\(S5\)\(S5_ n\)knowledge about oneselfmultiple ways of referring to agentsrelative naming

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (5)

• Term-modal logics
• Indexical knowledge and robot action -- a logical account
• Naming and identity in epistemic logic. II: A first-order logic for naming
• The monodic fragment of propositional term modal logic
• Naming and Identity in Epistemic Logics Part I: The Propositional Case

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 Q4028802)