Publications

Filters: Author is van Ditmarsch, Hans [Clear All Filters]

In Press

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, In Press.

2015

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, 2015.

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.