A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Foundations of the Formal Sciences II
We explain the raison d'être and basic ideas of input/output logic, with pointers to other publications for detailed developments. The motivation comes from the logic of conditional norms, where we need an approach that does not presume that directives carry truth-values. To deal with the subtleties of contrary-to-duty situations, input/output operations may be subjected to consistency constraints, expressed via the notion of an outfamily. They also provide a convenient platform fordoi:10.1007/978-94-017-0395-6_12 fatcat:zhpllkjfjfb5tjb76qpwshok5y