Publications

Export 6 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is van Ditmarsch, Hans  [Clear All Filters]
2014
L. Bozzelli, H. van Ditmarsch, and S. Pinchinat, “The Complexity of One-Agent Refinement Modal Logic”, Theoretical Computer Science, 2014.
H. van Ditmarsch, S. Ghosh, R. Verbrugge, and Y. Wang, “Hidden protocols: Modifying our expectations in an evolving world”, Artificial Intelligence, vol. 208, p. 18-40, 2014.
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.
L. Bozzelli, H. van Ditmarsch, T. French, J. Hales, and S. Pinchinat, “Refinement Modal Logic”, Information and Computation, 2014.