When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9282
Go to the corresponding Portal

Makinson, David ; van der Torre, Leendert

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

07122.vanderTorreLeon.Paper.928.pdf (0.2 MB)


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.

BibTeX - Entry

  author =	{David Makinson and Leendert van der Torre},
  title =	{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions},
  booktitle =	{Normative Multi-agent Systems},
  year =	{2007},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen },
  number =	{07122},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Deontic logic, input/output logic, constraints, permissions}

Keywords: Deontic logic, input/output logic, constraints, permissions
Seminar: 07122 - Normative Multi-agent Systems
Issue Date: 2007
Date of publication: 12.03.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI