Reasoning about local properties in modal logic

, &

Abstract

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,576

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknown
Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic. [REVIEW]Patrick Girard - 2009 - Australasian Journal of Logic 7:26-31.
Wiebe van der Hoek Michael Wooldridge.Michael Wooldridge - 2003 - Studia Logica 75:125-157.
Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknown
Graded modalities in epistemic logic* W. Van der hoek.J. -J. Ch Meyer - 1991 - Logique Et Analyse 133:251.
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
PAC vs. DEMAL. A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge.Sébastien Magnier - unknown

Analytics

Added to PP
n/a

Downloads
27 (#704,558)

6 months
4 (#1,161,268)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Barteld Kooi
University of Groningen
Hans Van Ditmarsch
LORIA

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references