van Ditmarsch, H., Gattinger, M., Ramezanian, R. (2023) Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts.

Studia Logica, Vol. 111 (pp 453–499)

Article | https://doi.org/10.48550/arXiv.2011.13203 | UvA-DARE

van Ditmarsch, H., Gattinger, M. (2022) The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable.

In Ciabattoni, A. Pimentel, E. de Queiroz, R.J.G.B. (Eds.), Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings (pp 237-249) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 13468). Springer.

van Ditmarsch, H., Knight, S., Özgün, A. (2018) Private Announcements on Topological Spaces.

Studia Logica, Vol. 106 (pp 481-513)

Article | https://doi.org/10.1007/s11225-017-9750-z | UvA-DARE

van Ditmarsch, H., Knight, S., Özgün, A. (2019) Announcement as Effort on Topological Spaces.

Synthese, Vol. 196 (pp 2927–2969)

Article | https://doi.org/10.1007/s11229-017-1592-8 | UvA-DARE

van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F. (2017) Epistemic protocols for dynamic gossip.

Journal of Applied Logic, Vol. 20 (pp 1-31)

Article | https://doi.org/10.1016/j.jal.2016.12.001 | UvA-DARE

van Ditmarsch, H., van Eijck, J., Sietsma, F., Wang, Y. (2012) On the Logic of Lying.

In van Eijck, J. Verbrugge, R. (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp 41-72) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7010). Springer.

van Ditmarsch, H., van Eijck, J., Wu, W. (2010) Verifying one hundred prisoners and a lightbulb.

Journal of Applied Non-Classical Logics, Vol. 20 (pp 173-191)

Article | https://doi.org/10.3166/jancl.20.173-191 | UvA-DARE

van Ditmarsch, Hans, Gattinger, M. (2024) You can only be lucky once: optimal gossip for epistemic goals.

Mathematical Structures in Computer Science, Vol. 34 (pp 661-688)

Article | https://doi.org/10.1017/S0960129524000082 | UvA-DARE

van Eck, D., Weber, E. (2021) Assessing function modeling frameworks: technical advantage predictions as a conceptual tool.

Engineering Studies, Vol. 13 (pp 205-225)

Article | https://doi.org/10.1080/19378629.2021.1989441 | UvA-DARE

van Eck, D., Wright, C. (2021) Mechanist idealisation in systems biology.

Synthese, Vol. 199 (pp 1555–1575)

Article | https://doi.org/10.1007/s11229-020-02816-8 | UvA-DARE

van Eck, D. (2022) What is a complex system?.

Institute for Advanced Study (IAS), University of Amsterdam.

Web publication or website | https://ias.uva.nl/content/news/2022/12/what-is-a-complex-system.html | UvA-DARE

van Eck, P.A.T., Engelfriet, J., Fensel, D., van Harmelen, F.A.H., Venema, Y., Willems, M. (2001) A survey of languages for specifying dynamics: A knowledge enginee ring perspective.

IEEE Transactions on Knowledge & Data Engineering, Vol. 13 (pp 462-496)

Article | https://doi.org/10.1109/69.929903 | UvA-DARE

Van Eecke, P., Fernández, R. (2016) On the Influence of Gender on Interruptions in Multiparty Dialogue.

Interspeech, Vol. 17 (pp 2070-2074)

Article | https://doi.org/10.21437/Interspeech.2016-951 | UvA-DARE

van Eemeren, F.H., Grootendorst, R., van Benthem, J.F.A.K., Veltman, F. (1996) Logic And Theory of Argumentation.

Royal Netherlands Academy of Arts and Sciences.

Book (Editorship) | UvA-DARE

van Eijck, J., Gattinger, M., Wang, Y. (2017) Knowing Values and Public Inspection.

In Ghosh, S. Prasad, S. (Eds.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings (pp 77-90) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10119). Springer.

van Eijck, J., Gattinger, M. (2015) Elements of epistemic crypto logic.

In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (pp 1795-1796). International Foundation for Autonomous Agents and Multiagent Systems.

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) A tableau calculus for dynamic first order logic with applications in natural language semantics.

In Bos, Johan Kohlhase, Michael (Eds.), ICOS-2 Proceedings (pp 25-40)

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) Theorem proving and programming with dynamic first order logic.

In Alpuente, María (Eds.), Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000 (pp 56-71). Universidad Politéchnica de Valencia.

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) Theorem proving and porgramming with dynamic first order logic - full version.

technical Report. Institute for Logic Language and Computation.

Report | UvA-DARE

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2001) Tableau reasoning and programming with dynamic first order logic.

Logic Journal of the IGPL, Vol. 9 (pp 411-445)

Article | UvA-DARE