An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.

Pablo F. Castro, T. S. E. Maibaum

Browse the full SEFM paper archive.