Norms and deontic logic

DOI10.1007/978-3-030-06164-7_8zbMATH Open1547.68722MaRDI QIDQ6602222FDOQ6602222

Authors: Frédéric Cuppens, Christophe Garion, Guillaume Piolle, Nora Cuppens-Boulahia 

Publication date: 11 September 2024

Recommendations

• scientific article; zbMATH DE number 1318509
• Publication:4952293
• scientific article; zbMATH DE number 1749193
• Publication:4938866
• Publication:4938865

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Semantic Analyses for Dyadic Deontic Logic
• An Analysis of some Deontic Logics
• Preference-based deontic logic (PDL)
• Contrary-to-duty obligations
• Title not available (Why is that?)
• Moral dilemmas and nonmonotonic logic
• Title not available (Why is that?)
• Contrary-to-duty reasoning with preference-based dyadic obligations
• Title not available (Why is that?)
• Title not available (Why is that?)
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of Hansson's dyadic deontic logic
• A complete axiom set for Hansson's deontic logic DSDL2
• A dyadic deontic logic in HOL
• A Preference-Based Semantics for CTD Reasoning
• Action theory and social science. Some formal models
• Reasoning about permitted announcements
• Privacy policies with modal logic: the dynamic turn
• Two approaches to the formalisation of defeasible deontic reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A State/Event Temporal Deontic Logic
• Speech Acts with Institutional Effects in Agent Societies
• Deontic Logic in Computer Science
• Title not available (Why is that?)
• A dynamic logic of norm change
• Deontic Logic in Computer Science

Cited In (6)

• Multiple roles and deontic logic
• A logical framework for the Islamic law
• Reasoning with rules and rights: term-modal deontic logic
• Term-sequence-dyadic deontic logic
• Reason-based deontic logic
• How deontic logic ought to be: towards a many-sorted framework for normative reasoning

This page was built for publication: Norms and deontic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602222)