Related Publications
  1. Reasoning about local properties in modal logic

    Kooi, B., Ditmarsch, H. V. & Hoek, W. V. D., 2011, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems. Tumer, K., Yolum, P., Sonenberg, L. & Stone, P. (eds.). Richland: IFAAMAS, p. 711-718 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

View all (1) »

ID: 2274037