# ARROW UPDATE LOGIC

@article{Kooi2011ARROWUL, title={ARROW UPDATE LOGIC}, author={Barteld P. Kooi and Bryan Renne}, journal={The Review of Symbolic Logic}, year={2011}, volume={4}, pages={536 - 559} }

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic…

## 54 Citations

### Dynamic epistemic logic in update logic

- Philosophy, Computer ScienceJ. Log. Comput.
- 2016

It is shown that dynamic epistemic logic is a substructural logic and that it is an extension of the update logic, and a sequent calculus for update logic is provided which turns out to be a generalization of the non-associative Lambek calculus.

### Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE

- Computer ScienceTARK
- 2017

By encoding the execution of a Turing machine in AAULC, it is shown that neither the valid formulas nor the satisfiable formulas of AAU LC are recursively enumerable.

### The expressivity of update logics

- PhilosophyJ. Log. Comput.
- 2015

Two new results about logics involving updates and common knowledge are proved that the logic LAU∗ using Arrow Common Knowledge is more expressive than the logic LAR using Relativized Common Knowledge and the logicLAUC using Arrow Updates and normal Common knowledge is equally expressive.

### Logics of temporal-epistemic actions

- PhilosophySynthese
- 2015

Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation, is presented, providing complete axiomatizations for two theories of temporal action models and connecting the approach with previous work on time in DEL.

### A History Based Logic for Dynamic Preference Updates

- Computer ScienceJ. Log. Lang. Inf.
- 2020

Motivated by game theoretical observations, how preferences can dynamically be updated in history based models is discussed, and arrow update logic and event calculus are considered, and historybased models for these logics are given.

## References

SHOWING 1-10 OF 39 REFERENCES

### Dynamic Epistemic Temporal Logic

- PhilosophyLORI
- 2009

We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that…

### Dynamic logic for belief revision

- PhilosophyJ. Appl. Non Class. Logics
- 2007

This work shows how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added, and obtains complete logics for concrete mechanisms of belief revision based on compositional reduction axioms.

### A qualitative theory of dynamic interactive belief revision

- Philosophy
- 2008

A logical setting is presented that incorporates a belief-revision mechanism within Dynamic-Epistemic logic, and it is shown how the update mechanism can “simulate”, in a uniform manner, many different belief- revision policies.

### A system for consistency preserving belief change

- Philosophy
- 2006

We present a dynamic doxastic logic which formalizes belief change for rational agents. It is based on the multi-agent modal logic KD45n, and therefore preserves the consistency of belief. The…

### Logics for Epistemic Programs

- Computer ScienceSynthese
- 2004

The construction of logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting by defining a notion of epistemic program, which is a Kripke model of ‘actions’, representing the agents' uncertainty about the current action in a similar way that Kripkel models are commonly used in epistemic logic.

### Dynamic epistemic logic

- Philosophy, Computer Science
- 1998

A semantics and a deduction system for a multi-agent modal language extended with a repertoire of programs that describe information change, designed in such a way that everything that is expressible in the object language can be known or learned by each of the agents.

### Reasoning about Information Change

- Computer ScienceJ. Log. Lang. Inf.
- 1997

This paper introduces Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system, and gives a sound and complete axiomatization of the resulting logic.

### Complexity and succinctness of public announcement logic

- Computer ScienceAAMAS '06
- 2006

This paper considers the computational complexity of PAL and shows that it coincides with that of EL, and proves that there are properties that can be expressed exponentially more succinct in PAL than in EL.

### The Surprise Examination in Dynamic Epistemic Logic

- PhilosophySynthese
- 2005

A number of different interpretations of the puzzle are discussed, and the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a central role in understanding the puzzle.