Deontic Logic in Computer Science

Inhalt

From Norm Adoption to Norm Internalization.- Norms, Action and Agency in Multi-agent Systems.- Towards a Logical Analysis of the Judgment on Facts.- Deontic Redundancy: A Fundamental Challenge for Deontic Logic.- A Dyadic Operator for the Gradation of Desirability.- Deontics = Betterness + Priority.- Axioms for Obligation and Robustness with Temporal Logic.- Moral Particularism and Deontic Logic.- Relevance, Derogation and Permission.- Retroactive Legal Changes and Revision Theory in Defeasible Logic.- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.- Avoiding Deontic Explosion by Contextually Restricting Aggregation.- Obligations and Prohibitions in Talmudic Deontic Logic.- Introducing Exclusion Logic as a Deontic Logic.- Privacy Policies with Modal Logic: The Dynamic Turn.- Value-Based Argumentation for Justifying Compliance.- A Logical Model of Private International Law.- Where Did Mally Go Wrong?.- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents.- Characterising Responsibility in Organisational Structures: The Problem of Many Hands.- A Logical Analysis of Commitment Dynamics.- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.