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

In the present paper we use a variation of a well-known example (dining philosophers) to illustrate how deontic logics can be used to specify, and verify, systems with faulttolerant characteristics. Towards this goal, we first introduce our own version of a propositional deontic logic, and then some of its most important metaproperties are described. Our main goal is to show that our deontic formalism is suitable for use in practical examples, …