LogiKEy workbench : Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Farjami, AliAliFarjamiFuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Meder, PaulPaulMederParent, XavierXavierParentSteen, AlexanderAlexanderSteenvan der Torre, LeendertLeendertvan der TorreZahoransky, ValeriaValeriaZahoransky2022-09-162022-09-1620202352-3409https://fis.uni-bamberg.de/handle/uniba/55576engLogiKEy workbench : Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)article10.1016/j.dib.2020.106409https://www.sciencedirect.com/science/article/pii/S2352340920312919