2026-07-22T16:56:08Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:928 2024-03-06T11:07:27Z ddc:004 open_access

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions Makinson, David van der Torre, Leendert Deontic logic input/output logic constraints permissions We explain the {em raison d'^etre} and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation comes from the logic of norms. Unconstrained input/output operations are straightforward to define, with relatively simple behaviour, but ignore the subtleties of contrary-to-duty norms. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed via the concept of an outfamily. They also provide a convenient platform for distinguishing and analysing several different kinds of permission. Schloss Dagstuhl – Leibniz-Zentrum für Informatik David Makinson and Leendert van der Torre 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07122.32 urn:nbn:de:0030-drops-9282 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.32 eng https://creativecommons.org/licenses/by/4.0/legalcode