Title: Deontic Logic and Normative Systems
Subjects: Modality (logic), Computer science, Artificial Intelligence (incl. Robotics), Deontic logic, Congresses, Computer logic, Logic design, Computational complexity, Artificial intelligence, Information systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computer Appl. in Administrative Data Processing, Programming Techniques, Discrete Mathematics in Computer Science