A deontic action logic with sequential composition of actions

From MaRDI portal
Publication:3167604