About

I am a doctoral student in the Theory and Logic group at the Technical University of Vienna, under supervision of Agata Ciabattoni. Here, I am part of the LogiCS-COFUND doctoral programme.

My research interest lies in non-classical logics with an application to artificial intelligence and philosophy, in particular: deontic logic, preference logic and description logic.

Short CV

• 2020-2022 Master’s in Logic at Gothenburg University.
• 2018-2020 Software Developer at ING.
• 2015-2018 Bachelor’s in Liberal Arts and Sciences at Amsterdam University College.

Find my complete CV here.

Publications

• Josephine Dik, Réka Markovich. Modeling Judicial Discretion with Nuanced Permissions. In Legal Knowledge and Information Systems (JURIX 2024), December 2024. [link]
• Agata Ciabattoni, Josephine Dik, Elisa Freschi. Disambiguating permission: A contribution from Mīmāṃsā. In Proceedings of the 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), July 2023. [link]
• Josephine Dik. Proof Theory of Circular Description Logics. Master’s thesis, University of Gothenburg, July 2022. Under supervision of Bahareh Afshari. [ pdf, link]

Talks

• Exploring nuanced permissions within AI and Judicial Decision-making
  • Conference on Explanations, Norms and Insights for the Governance of Machine Agents (ENIGMA) Univeristy of Luxembourg, Luxembourg (October 15, 2024).
• Mīmāṃsā on ‘Better-Not’ Permission
  • Logic(s) of Normativity and the Normativity of Logic(s), SOPhiA in Salzburg, Austria (September 12, 2024).
• Permission in Deontic Logic: From Sanskrit Philosophy to AI
  • World Logic Day at the Central European University, Vienna, Austria (January 15, 2024).
• Exploring preferenced permissions: From Sanskrit Philosophy to AI
  • Normative Reasoning Workshop at KU Leuven, Belgium (October 30, 2023).
• Disambiguating permissions: A contribution from Mīmāṃsā
  • Logic Seminar at the University of Gothenburg, Sweden (December 17, 2022).
  • Seminar at Universidad Nacional Autónoma de México (UNAM), México (June 9, 2023) [poster].
  • The Dutch Logic PhD Day at the University of Groningen, the Netherlands (June 23, 2023).
  • DEON, Trois-Rivieres, Canada (July 7, 2023).

Academic Activities

• Organizing Committee of DEON 2025
• Organizing the Women in Logic Seminar series: Women in Logic ONLINE
• Student Representative of the LogiCS@TUWien programme
• Organizing Committee of MOSAIC 2023

Awards

• Best posters award, SPLogiC 2023. [pdf]
• Runner up best paper award, DEON 2023.

Contact

E-mail: josephine [at] logic.at
University Website
Office at: Favoritenstrasse 9 room HA 0407