Input/Output Logic With a Consistency Check - the Case of Permission

Maya Olszewski, Xavier Parent, Leendert van der Torre. Input/Output Logic With a Consistency Check - the Case of Permission. In Fenrong Liu, Alessandra Marra, Paul Portner, Frederik Van De Putte, editors, Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021. pages 358-375, College publications, 2021.

Abstract

Abstract is missing.