‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations

DOI10.1007/978-3-540-88833-8_5zbMath1175.03010OpenAlexW1496911692MaRDI QIDQ3602942

Julien Brunel, Jan M. Broersen

Publication date: 12 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_5

zbMATH Keywords

deontic logictemporal logiccombination of temporal and deontic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Combined logics (03B62)

Related Items (1)

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

Uses Software

• AgentSpeak
• 3APL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic logic: introductory and systematic readings. (Repr. with new introd.)
• The temporal semantics of concurrent programs
• Many-dimensional modal logics: theory and applications
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
• A State/Event Temporal Deontic Logic

This page was built for publication: ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations