Reasoning about knowledge
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Elements of the Theory of Computation
Elements of the Theory of Computation
Dynamic Logic
Logics of Knowledge, Games and Dynamic Logic
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Epistemic Verification of Anonymity
Electronic Notes in Theoretical Computer Science (ENTCS)
From conditional probability to the logic of doxastic actions
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Social acquisition of ontologies from communication processes
Applied Ontology - Formal Ontologies for Communicating Agents
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Tableau Method for Public Announcement Logics
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Pushing Anderson's Envelope: The Modal Logic of Ascription
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Propositional Dynamic Logic as a Logic of Belief Revision
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Refinement of Kripke Models for Dynamics
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Completeness Results for Memory Logics
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Evidence elimination in multi-agent justification logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Tableaux and Model Checking for Memory Logics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Terminating Tableaux for Dynamic Epistemic Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal fixed-point logic and changing models
Pillars of computer science
Introducing reactive Kripke semantics and arc accessibility
Pillars of computer science
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
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Journal of Logic, Language and Information
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
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
Multi-agent belief revision with linked preferences
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
McCarthy variations in a modal key
Artificial Intelligence
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
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
Dynamic epistemic algebra with post-conditions to reason about robot navigation
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Intention change via local assignments
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Message-generated Kripke semantics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A dynamic logic of institutional actions
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Schematic validity in dynamic epistemic logic: decidability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
A logic for knowledge flow in social networks
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
A multi-disciplinary approach to interactive information retrieval upon semi-structured data sets
FDIA'09 Proceedings of the Third BCS-IRSG conference on Future Directions in Information Access
Games, Actions and Social Software
Games, Actions and Social Software
Perception and change in update logic
Games, Actions and Social Software
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Planning in the logics of communication and change
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Social acquisition of ontologies from communication processes
Applied Ontology - Formal Ontologies for Communicating Agents
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Introducing reactive Kripke semantics and arc accessibility
Annals of Mathematics and Artificial Intelligence
An outline of a dynamic theory of frames
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Knowing that, knowing what, and public communication: public announcement logic with Kv operators
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Studia Logica
Hi-index | 0.00 |
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of 'relativized common knowledge', in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous 'reduction axioms'. We also show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warmup stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both 'cc' and 'bcc' lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene's theorem on finite automata, as well as new Ehrenfeucht games of model comparison.