Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

DOI10.1016/J.ENTCS.2009.02.030zbMath1347.03029OpenAlexW1983579248MaRDI QIDQ4982115

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

deontic logictemporal logicaxiomatizationtableaux method

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• The temporal semantics of concurrent programs
• Many-dimensional modal logics: theory and applications
• Contrary-to-duty obligations
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• Temporal Reasoning over Deontic Specifications
• Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
• 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
• Dynamic logic of preference upgrade
• Products of modal logics, part 1

This page was built for publication: Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations