Naming and identity in epistemic logic. II: A first-order logic for naming
From MaRDI portal
Publication:1855214
DOI10.1016/0004-3702(95)98593-DzbMath1012.03028MaRDI QIDQ1855214
Publication date: 4 February 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
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