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

DOI10.1002/INT.20305MaRDI QIDQ3537541zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3724408 (Why is no real title available?)
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A near-optimal method for reasoning about action
• The dynamic logic of permission
• The price of universality

Cited in

(22)

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