Types of rights in two-party systems: A formal analysis

We present a formalization of Kanger's types of rights in the context of interacting two-party systems, such as contracts. We show that in this setting basic rights such as claim, freedom, power and immunity can be expressed in terms of (possibly negated) permissions and obligations over presen...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pace, G.J., Schapachnik, F.
Formato: SER
Materias:
Automated Legislative Drafting
Contract Verification
Kanger's Types
Artificial intelligence
Formal analysis
Laws and legislation
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09226389_v250_n_p105_Pace
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares