Abstract. We prove two new results about logics involving updates and common knowledge. The first result is that the logic LAU* using Arrow Common Knowledg.

The expressivity of update logics. Abstract: We prove two new results about logics involving updates and common knowledge. The first result is that the logic \ ...

The first result is that the logic LAU. using Arrow Common Knowledge is more expressive than the logic LAR using Relativized Common Knowledge. The second result ...

We prove two new results about logics involving updates and common knowledge. The first result is that the logic LAU∗ using.

We prove two new results about logics involving updates and common knowledge. The first result is that the logic LAU∗ using.

Jul 30, 2014 · Abstract. We prove two new results about logics involving updates and common knowledge. The first result is that the logic LAU∗ using Arrow ...

In this contribution we prove that the update expressivity of communication patterns is incomparable to that of action models. Action models, as update ...

We prove many of the results regarding expressivity and completeness using so-called reduction axioms. We develop a general method for using reduction axioms ...

Original language, English. Pages (from-to), 719-742. Journal, Journal of Logic and Computation. Volume, 25. Issue number, 3. Early online date, 1-Sept-2014.

ABSTRACT. In this paper, we present several extensions of epistemic logic with update operators modelling public information change.