Decision procedures for a deontic logic modeling temporal inheritance of obligations

DOI10.1016/J.ENTCS.2009.02.030MaRDI QIDQ4982115zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.02.030

zbMATH Keywords

axiomatizationdeontic logictableaux methodtemporal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A State/Event Temporal Deontic Logic
• Temporal Reasoning over Deontic Specifications
• Obligations with deadlines: a formalization in dynamic deontic logic
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
• Deontic Logic in Computer Science

Cites work

• A State/Event Temporal Deontic Logic
• Agency and deontic logic
• Canonical models for temporal deontic logic
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• Contrary-to-duty obligations
• Dynamic logic of preference upgrade
• scientific article; zbMATH DE number 3875224 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• scientific article; zbMATH DE number 1435945 (Why is no real title available?)
• Iteration-free PDL with intersection: A complete axiomatization
• Many-dimensional modal logics: theory and applications
• Products of modal logics, part 1
• Proof methods for modal and intuitionistic logics
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
• Temporal Reasoning over Deontic Specifications
• The temporal semantics of concurrent programs
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations

Cited in

(3)

• Temporal Reasoning over Deontic Specifications
• A State/Event Temporal Deontic Logic
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations

This page was built for publication: Decision procedures for a deontic logic modeling temporal inheritance of obligations

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