Pages that link to "Item:Q3529353"
From MaRDI portal
The following pages link to Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario (Q3529353):
Displaying 6 items.
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- (Q4993609) (← links)
- Synchronous agents, verification, and blame -- a deontic view (Q6605365) (← links)
