Reasoning about Information Change

Authors:
Jelle Gerbrandy;Willem Groeneveld
Affiliations:
Department of Philosophy, University of Amsterdam, Nieuwe Doelenstraat 15, 1012 CP Amsterdam, the Netherlands (E-mail: {gerbrand,groenev}@illc.uva.nl);Department of Philosophy, University of Amsterdam, Nieuwe Doelenstraat 15, 1012 CP Amsterdam, the Netherlands (E-mail: {gerbrand,groenev}@illc.uva.nl)
Venue:
Journal of Logic, Language and Information
Year:
1997

Citing 4
Cited 54

Logics of time and computation

Logics of time and computation
A model-theoretic analysis of knowledge

Journal of the ACM (JACM)
Agent-oriented programming

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge

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
A Logical Analysis of the Relationship between Commitment and Obligation

Journal of Logic, Language and Information
Meaning and Use of Indefinite Expressions

Journal of Logic, Language and Information
Descriptions of Game Actions

Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Concurrent dynamic epistemic logic for MAS

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Quality and Quantity of Information Exchange

Journal of Logic, Language and Information
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation

Artificial Intelligence
Modal probability, belief, and actions

Fundamenta Informaticae
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
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
Evolution of Collective Commitment during Teamwork

Fundamenta Informaticae
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
Total Public Announcements

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Need to Know: Questions and the Paradox of Epistemic Obligation

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
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
Prolegomena to Dynamic Epistemic Preference Logic

New Frontiers in Artificial Intelligence
Knowledge updates: Semantics and complexity issues

Artificial Intelligence
Algebra and Sequent Calculus for Epistemic Actions

Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Russian Cards

Electronic Notes in Theoretical Computer Science (ENTCS)
Acts of commanding and changing obligations

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Logical dynamics of commands and obligations

JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Observing distributed computation: a dynamic-epistemic approach

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Operational and epistemic approaches to protocol analysis: bridging the gap

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Acts of promising in dynamified deontic logic

JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Beyond public announcement logic: an alternative approach to some AI puzzles

KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Merging DEL and ETL

Journal of Logic, Language and Information
Group announcements: logic and games

CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Reasoning about protocol change and knowledge

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Electronic Notes in Theoretical Computer Science (ENTCS)
Logic of information flow on communication channels

DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Generalized arrow update logic

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Partial realization in dynamic justification logic

WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
A modal framework for relating belief and signed information

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
On axiomatizations of PAL

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Refinement Quantified Logics of Knowledge

Electronic Notes in Theoretical Computer Science (ENTCS)
Decidable extensions of hennessy-milner logic

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Conditioning and Interpretation Shifts

Studia Logica
Evolution of Collective Commitment during Teamwork

Fundamenta Informaticae
Modal Probability, Belief, and Actions

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Reasoning About Agent Types and the Hardest Logic Puzzle Ever

Minds and Machines
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
Revocable Belief Revision

Studia Logica
Substructure Temporal Logic

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Arbitrary Action Model Logic and Action Model Synthesis

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.