A deontic logic of actions and states

[tpsingle key=”Trypuz2014″]

[tpabstract]

[tplinks]

[tpbibtex]