Commands changing obligations 1
Fengkui Ju, Liang Li · Journal of Logic and Computation · 2015
We aim to present a dynamic deontic logic. This logic is an extension of Boolean Modal Logic in both language and semantics. This logic's language has a deontic operator, applied to actions, and two dynamic operators. In the logic's semantics, the deontic relation is defined on the set of finite sequences of states, called histories, and formulas are evaluated at the histories. The deontic operator describes obligations and freedoms of agents, whereas the two dynamic operators correspond to giving orders and permissions, which change agents' obligations and freedoms in different ways.