Naming and identity in epistemic logic part II: a first-order logic for naming
Open Access
- 6 April 1995
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 74 (2) , 311-350
- https://doi.org/10.1016/0004-3702(95)98593-d
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Simulating synchronized clocks and common knowledge in distributed systemsJournal of the ACM, 1993
- A little knowledge goes a long wayJournal of the ACM, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Programming simultaneous actions using common knowledgeAlgorithmica, 1988
- Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic.The Journal of Symbolic Logic, 1988
- Using Reasoning About Knowledge to Analyze Distributed SystemsAnnual Review of Computer Science, 1987
- How processes learnDistributed Computing, 1986
- Attitudes De Dicto and De SeThe Philosophical Review, 1979
- Belief De ReThe Journal of Philosophy, 1977
- Quantifiers and Propositional AttitudesThe Journal of Philosophy, 1956