Abstract Normative Systems: Semantics and Proof Theory
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata · Open Repository and Bibliography (University of Luxembourg) · 2012
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the generation of obligations, permissions and institutional facts from conditional norms. We present various semantics and their proof systems. The theory can be used to classify and compare new candidates for standards of normative reasoning, and to explore more elaborate forms of nor-mative reasoning than studied thus far.