Arbitrary arrow update logic

, , &
Artificial Intelligence 242 (C):80-106 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2016.10.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown
Fully Arbitrary Public Announcements.Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 252-267.
Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
The logic of gossiping.Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer - 2020 - Artificial Intelligence 286 (C):103306.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
Local properties in modal logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2012 - Artificial Intelligence 187-188 (C):133-155.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknown
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
Logic and Probabilistic Update.Lorenz6 Demey & Barteld Kooi - 2014 - Johan van Benthem on Logic and Information Dynamics 5:381 - 404.
Conditional probability meets update logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,283,306)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hans Van Ditmarsch
LORIA
Wiebe Van Der Hoek
University of Liverpool
Barteld Kooi
University of Groningen

Citations of this work

Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.

Add more citations

References found in this work

Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
What one may come to know.J. van Benthem - 2004 - Analysis 64 (2):95-105.

View all 11 references / Add more references