Reasoning about knowledge
Logic, language and computation, vol. 2
Reasoning about Information Change
Journal of Logic, Language and Information
Iterated belief change in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Conditional Probability Meets Update Logic
Journal of Logic, Language and Information
Quality and Quantity of Information Exchange
Journal of Logic, Language and Information
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Logic and the Dynamics of Information
Minds and Machines
Modal probability, belief, and actions
Fundamenta Informaticae
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Logics for insecure communication
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Knowledge updates: semantics and complexity issues
Artificial Intelligence
The value of privacy: optimal strategies for privacy minded agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
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
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A Short Introduction to Computational Social Choice
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Model Checking Knowledge and Linear Time: PSPACE Cases
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Propositional Dynamic Logic as a Logic of Belief Revision
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
From DEL to EDL: Exploring the Power of Converse Events
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Global and Local Graph Modifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Learning by Erasing in Dynamic Epistemic Logic
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
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
Agreement theorems in dynamic-epistemic logic
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
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Awareness and Forgetting of Facts and Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Toward Reasoning about Security Protocols: A Semantic Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A sketch of a dynamic epistemic semiring
Information and Computation
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
A verification framework for agent knowledge
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Can doxastic agents learn? on the temporal structure of learning
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Agreement theorems in dynamic-epistemic logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic logic of finite identification
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
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Journal of Logic, Language and Information
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
The Situation Calculus: A Case for Modal Logic
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
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
McCarthy variations in a modal key
Artificial Intelligence
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Finite identification from the viewpoint of epistemic update
Information and Computation
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
Generalized arrow update logic
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
Reasoning about local properties in modal logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Boolean modal logic wK4Dyn: doxastic interpretation
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, 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
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
Knowledge and action in semi-public environments
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
Logics of belief over weighted structures
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Public announcement logic with distributed knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Electronic Notes in Theoretical Computer Science (ENTCS)
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Local properties in modal logic
Artificial Intelligence
A dynamic logic for privacy compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Conditioning and Interpretation Shifts
Studia Logica
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
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Modal Probability, Belief, and Actions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Conditional epistemic planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An alternative axiomatization of DEL and its applications
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
The Dynamification of Modal Dependence Logic
Journal of Logic, Language and Information
Studia Logica
Arbitrary Action Model Logic and Action Model Synthesis
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
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 al [1], but we reify aspects of the machinery in the logical language. The first case of the kind of logics we consider appears in Gerbrandy and Groeneveld [3]. They introduced 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.