Modal Logic for Agent-Based Legal Classifications. - Daniil Khaitovich; Lorenz Hornung (DEON, 2025)

Connecting File Timestamps: A Formal Approach. - Lorenz Hornung; Hugo Jonker; Harm M. A. van Beek (DFDS, 2026)