The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Probabilistic knowledge and probabilistic common knowledge
Methodologies for intelligent systems, 5
Monotonic and non-monotonic logics of knowledge
Fundamenta Informaticae - Special issue: logics for artificial intelligence
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
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Knowledge Based Computation (Extended Abstract)
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Quality and Quantity of Information Exchange
Journal of Logic, Language and Information
Logic and the Dynamics of Information
Minds and Machines
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Common knowledge in update logics
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Knowledge and communication: a first-order theory
Artificial Intelligence
Logics of communication and change
Information and Computation
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Epistemic logic and explicit knowledge in distributed programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Decisions, Actions, and Games: A Logical Perspective
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Knowledge and communication: A first-order theory
Artificial Intelligence
Knowledge and Structure in Social Algorithms
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Can doxastic agents learn? on the temporal structure of learning
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
The logic of knowledge-based cooperation in the social dilemma
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Journal of Logic, Language and Information
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
Journal of Logic, Language and Information
A runs-and-systems semantics for logics of announcements
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Bridges between dynamic doxastic and doxastic temporal logics
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
McCarthy variations in a modal key
Artificial Intelligence
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Reasoning about protocol change and knowledge
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Finite identification from the viewpoint of epistemic update
Information and Computation
Logic of information flow on communication channels
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Perfect recall of imperfect knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The synchronicity of dynamic epistemic logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message-generated Kripke semantics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
The logic of communication graphs
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Games, Actions and Social Software
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Hi-index | 0.00 |
We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, and the amount of information in a message.