Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario-Reference-Cited by-同舟云学术

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

Published:2006 Issue: Volume: Page:53-68
ISSN:0302-9743
Container-title:Deontic Logic and Artificial Normative Systems
language:
Short-container-title:

Author:

Broersen Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11786849_7.pdf

Reference18 articles.

1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: FOCS 1997: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Computer Society Press, Los Alamitos (1997)

2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)

3. Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)

4. Lecture Notes in Computer Science;J. Broersen,2004

5. Electronic Notes in Theoretical Computer Science;J.M. Broersen,2005

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synchronous Agents, Verification, and Blame—A Deontic View;Theoretical Aspects of Computing – ICTAC 2023;2023

2. Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations;Lecture Notes in Computer Science;2012

3. Discussion Paper: Changing Norms Is Changing Obligation Change;Lecture Notes in Computer Science;2012

4. Ten Problems of Deontic Logic and Normative Reasoning in Computer Science;Lecture Notes in Computer Science;2012

5. Issues in Designing Logical Models for Norm Change;Organized Adaption in Multi-Agent Systems;2009