Abstrakt. Normativa meningar kan användas för att ändra eller beskriva det normativa systemet, som kallas normativa respektive beskrivande skyldigheter. I tillämpningar av deontisk logik är det viktigt att särskilja dessa två användningsområden för normativa meningar. I den här artikeln visar vi hur de kan särskiljas och analyseras i en dynamisk epistemisk deontisk logik.
I ett följedokument REF visar vi hur man uttrycker skillnaden mellan beskrivande och normativa skyldigheter i dynamisk epistemisk deontisk logik.
Prescriptive and descriptive obligations in dynamic epistemic deontic logic
{'venue': 'Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), volume 6181 of LNAI', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}