scientific article; zbMATH DE number 140395

MaRDI QIDQ4028802zbMATH OpenFDO

Authors Adam J. Grove, Joseph Y. Halpern

Publication date 28 March 1993

zbMATH Keywords

\(S5\)\(S5_ n\)epistemic logicknowledge about oneselfmultiple ways of referring to agentsrelative namingscope

Mathematics Subject Classification ID

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

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

Cited in

(14)

• Naming and identity in epistemic logic. II: A first-order logic for naming
• The monodic fragment of propositional term modal logic
• Indexical knowledge and robot action -- a logical account
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Agents that look at one another
• When names are not commonly known: epistemic logic with assignments
• Term-modal logics
• Revisiting epistemic logic with names
• Epistemic logic with agentically non-rigid designators
• An egocentric logic of knowing how to tell them apart
• Egocentric doxastic logic
• Comprehension and knowledge
• An egocentric logic of de dicto and de re knowing who
• A logic of higher-order preferences

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)