Reasoning with Epistemic Rights and Duties : Automating a Dynamic Logic of the Right to Know in LogiKEy

Lawniczak, LaraLaraLawniczakPasetto, LucaLucaPasettoBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Li, XuXuLiMarkovich, RékaRékaMarkovich2025-10-272025-10-2720250922-6389https://fis.uni-bamberg.de/handle/uniba/110980engReasoning with Epistemic Rights and Duties : Automating a Dynamic Logic of the Right to Know in LogiKEyarticle10.3233/faia250988https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA250988