Deontic logic in computer science. Selected papers from the 1st international workshop, Amsterdam, the Netherlands, December 11--13, 1991
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1005771