scientific article; zbMATH DE number 140395

zbMATH Open0765.68181MaRDI QIDQ4028802FDOQ4028802

Authors: Adam J. Grove, Joseph Y. Halpern Edit this on Wikidata

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
• Identity in relevant logics: a relevant predication approach
• 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 (8)

• 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
• Agents that look at one another
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Revisiting epistemic logic with names
• When names are not commonly known: epistemic logic with assignments

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)