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

DSpace/Manakin Repository

 
 
See more statistics about this item