What is input/output logic? (bibtex)
by D. Makinson, L. van der Torre
Abstract:
We explain the 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 situations. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed in the concept of an outfamily. However, this is a more complex affair, with difficult choices between alternative options.
Reference:
What is input/output logic? (D. Makinson, L. van der Torre), In Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10-13, 2000, 2003.
Bibtex Entry:
@InProceedings{Makinson2003,
  Title                    = {What is input/output logic?},
  Author                   = {Makinson, D. and van der Torre, L.},
  Booktitle                = {Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10-13, 2000},
  Year                     = {2003},
  Organization             = {Kluwer Academic Pub},
  Pages                    = {163},

  Abstract                 = {We explain the 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 situations. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed in the concept of an outfamily. However, this is a more complex affair, with difficult choices between alternative options.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/fotfs03.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/fotfs03.pdf}
}
Powered by bibtexbrowser