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

DOI10.1002/INT.20305MaRDI QIDQ3537541zbMATH OpenOpenAlexFDO

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
• scientific article; zbMATH DE number 4016863
• 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

(23)

• Blueprint for a dynamic deontic logic
• A dyadic deontic logic in HOL
• 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
• scientific article; zbMATH DE number 7594178 (Why is no real title available?)
• CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC
• Alternative semantics for deontic logic
• scientific article; zbMATH DE number 4016863 (Why is no real title available?)
• 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
• The categorical imperative: category theory as a foundation for deontic logic
• Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions
• Normative reasoning and consequence
• Dynamic deontic logic, Segerberg-style
• Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
• scientific article; zbMATH DE number 4179343 (Why is no real title available?)
• On logic of strictly-deontic modalities. A semantic and tableau approach
• scientific article; zbMATH DE number 3926881 (Why is no real title available?)
• Violation games: a new foundation for deontic logic
• Deontic logic for human reasoning

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)