Logical approaches to deontic reasoning: From basic questions to dynamic solutions

DOI10.1002/INT.20305zbMATH Open1161.03009OpenAlexW4245978097MaRDI QIDQ3537541FDOQ3537541

Authors: Philippe Balbiani 

Publication date: 7 November 2008

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.20305

Recommendations

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Publication:3028978
• D{\(\Delta\)}L: a dynamic deontic logic
• A dynamic deontic logic for complex contracts
• A systematics of deontic action logics based on Boolean algebra

zbMATH Keywords

deontic logicaxiomatizationdynamic logicKripke model

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A near-optimal method for reasoning about action
• The dynamic logic of permission
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• The price of universality
• Title not available (Why is that?)

Cited In (22)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• The formalization of pratical reasoning: problems and prospects
• A Complete and Compact Propositional Deontic Logic
• Obligation and the conditional in stit theory
• Title not available (Why is that?)
• CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC
• Alternative semantics for deontic logic
• Title not available (Why is that?)
• Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
• A dynamic deontic logic for complex contracts
• A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
• Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions
• Normative reasoning and consequence
• The categorical imperative: category theory as a foundation for deontic logic
• Dynamic deontic logic, Segerberg-style
• Title not available (Why is that?)
• On logic of strictly-deontic modalities. A semantic and tableau approach
• Title not available (Why is that?)
• Violation games: a new foundation for deontic logic
• Deontic logic for human reasoning
• A dyadic deontic logic in HOL
• Blueprint for a dynamic deontic logic

This page was built for publication: Logical approaches to deontic reasoning: From basic questions to dynamic solutions

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