Naming and identity in epistemic logic. II: A first-order logic for naming

DOI10.1016/0004-3702(95)98593-DzbMath1012.03028MaRDI QIDQ1855214

Adam J. Grove

Publication date: 4 February 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (9)

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ A knowledge-based analysis of global function computation ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Free quantified epistemic logics ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the logic of demonstratives
• Foundations of a functional approach to knowledge representation
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• How processes learn
• Programming simultaneous actions using common knowledge
• A guide to completeness and complexity for modal logics of knowledge and belief
• Knowledge and common knowledge in a distributed environment
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• A little knowledge goes a long way
• Simulating synchronized clocks and common knowledge in distributed systems

This page was built for publication: Naming and identity in epistemic logic. II: A first-order logic for naming