STIT Based Deontic Logics for the Miners Puzzle.

Xin Sun, Zohreh Baniasadi

Browse the full EUMAS paper archive.