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

DSpace/Manakin Repository