DMCA
Permissions and Undercutters (2003)
by
Guido Boella
,
Leendert van der Torre
| Citations: | 2 - 0 self |
BibTeX
@MISC{Boella03permissionsand,
author = {Guido Boella and Leendert van der Torre},
title = {Permissions and Undercutters},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter's normal default logic. A recent extension of the input/output logics formalizes various notions of permission. We are
