What is Input/Output Logic? [chapter]

David Makinson, Leendert van der Torre
2003 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 for
more » ... orm for distinguishing and analysing several different kinds of permission.
doi:10.1007/978-94-017-0395-6_12 fatcat:zhpllkjfjfb5tjb76qpwshok5y