Cover Image
QR Code

Permission from an Input/Output Perspective.

Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission....

Full description

Published in:Journal of Philosophical Logic Vol. 32; no. 4; pp. 391 - 417
Main Authors: Makinson, David, van der Torre, Leendert
Format: Article
Published: Springer Nature Aug2003
Subjects:
Mathematical logic
Description logics
Abstract algebra
Social norms
Law enforcement
Duty
Online Access:View this record in EBSCOhost