A deontic action logic with sequential composition of actions

[tpsingle key=”deon2012″]

[tpabstract]

[tplinks]

[tpbibtex]