Operations and equations for coalgebras
Mathematical Structures in Computer Science
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Common knowledge in update logics
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
A Formal Model of Multi-Agent Belief-Interaction
Journal of Logic, Language and Information
Some semantics for a logical language for the game of dominoes
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Logics of communication and change
Information and Computation
Epistemic logic and explicit knowledge in distributed programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A Tableau Method for Public Announcement Logics
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Computing with common knowledge
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
The Algebra of Multi-Agent Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Knowledge-Based Systems
Coping with shame and sense of guilt: a Dynamic Logic Account
Autonomous Agents and Multi-Agent Systems
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Acts of promising in dynamified deontic logic
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Terminating Tableaux for Dynamic Epistemic Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Logics for information systems and their dynamic extensions
ACM Transactions on Computational Logic (TOCL)
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking sum and product
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Distributed iterated elimination of strictly dominated strategies
Autonomous Agents and Multi-Agent Systems
Games, Actions and Social Software
Perception and change in update logic
Games, Actions and Social Software
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language. That is, we consider the standard modeling of knowledge among a set of agents by multi-modal Kripke structures. One might want to consider actions that take place, such as announcements to groups privately, announcements with suspicious outsiders, etc. In our system, such actions correspond to additional modalities in the object language. That is, we do not add machinery on top of models (as in Fagin et alia), but we reify aspects of the machinery in the logical language. Special cases of our logic have been considered in Plaza, Gerbrandy, and Gerbrandy and Groeneveld. The latter group of papers introduce a language in which one can faithfully represent all of the reasoning in examples such as the Muddy Children scenario. In that paper we find operators for updating worlds via announcements to groups of agents who are isolated from all others. We advance this by considering many more actions, and by using a more general semantics. Our logic contains the infinitary operators used in the standard modeling of common knowledge. We present a sound and complete logical system for the logic, and we study its expressive power.