Reasoning about local properties in modal logic

Ditmarsch, Hans van; Hoek, Wiebe van der; Kooi, Barteld; Sonenberg, L.; Stone, P.; Tumer, K.; Yolum, P.

Reasoning about local properties in modal logic

Authors: Hans van Ditmarsch
Wiebe van der Hoek
Barteld Kooi
L. Sonenberg
P. Stone
K. Tumer
P. Yolum
Publication date: 1 January 2011
Publisher: IFAAMAS

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

Similar works

Full text

Available Versions

NARCIS

Last time updated on 15/10/2017