Keyword:deontic logic

Publications
Timed Dyadic Deontic Logic Karam Kharraz, Martin Leucker and Gerardo Schneider EasyChair Preprint 6918
Reasoning About Prescription and Description Using Prioritized Default Rules Valentin Cassano, Carlos Areces and Pablo Castro In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning