Deontic logic in computer science

by John-Jules Ch Meyer, Roel Wieringa

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fiel…