Deontic Logic and Computer‐Supported Computer Ethics
Jeroen van den Hoven, Gert‐Jan C. Lokhorst · Metaphilosophy · 2002
We provide a description and informal analysis of the commonalities in moral discourse concerning issues in the field of information and communications technology, present a logic model (DEAL) of this type of moral discourse that makes use of recent research in deontic, epistemic, and action logic, and indicate – drawing upon recent research in computer implementations of modal logic – how information systems may be developed that implement the proposed formalization.