Distributed Computing
Knowledge and the problem of logical omniscience
Proceedings of the Second International Symposium on Methodologies for intelligent systems
Probabilistic knowledge and probabilistic common knowledge
Methodologies for intelligent systems, 5
Reasoning about knowledge
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Knowledge Based Computation (Extended Abstract)
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Belief, names and modes of presentation: a first-order logic formalization
Belief, names and modes of presentation: a first-order logic formalization
Attribution of knowledge to artificial agents and their principals
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The logic of communication graphs
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Some Puzzles About Probability and Probabilistic Conditionals
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Hi-index | 0.00 |
Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify logical omniscience, but we know that in real life it does not exist. Also, common knowledge appears to be needed for certain real life procedures to work. But it seems quite implausible that it actually exists in real people.We suggest two procedure based semantics for knowledge which seem to take care of both these issues in a relatively realistic way.What this suggests is that if we really want to understand knowledge, then existing customs and plans must play a greater role than we are used to assigning them.