Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario

DOI10.1007/11786849_7zbMath1148.68480OpenAlexW1557930983MaRDI QIDQ3529353

Jan M. Broersen

Publication date: 9 October 2008

Published in: Deontic Logic and Artificial Normative Systems (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/19972

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (5)

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Unnamed Item ⋮ A Temporal Logic of Normative Systems ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

This page was built for publication: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario