Model checking for deontic logic
Ja-Rok Koo · 2008
As one of the possible solutions to the problem of model checking multi-agent systems, we have suggested model checking for deontic logic using the formalism of deontic interpreted systems and the possible world semantics.