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
Autor principal:	Schapachnik, Fernando Pablo
Publicado:	2012
Materias:	Automated Legislative Drafting Contract Verification Kanger's Types Artificial intelligence Formal analysis Laws and legislation
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v250_n_p105_Pace 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

id	paper:paper_09226389_v250_n_p105_Pace
record_format	dspace
spelling	paper:paper_09226389_v250_n_p105_Pace2023-06-08T15:50:54Z Types of rights in two-party systems: A formal analysis Schapachnik, Fernando Pablo Automated Legislative Drafting Contract Verification Kanger's Types Artificial intelligence Automated Legislative Drafting Formal analysis Kanger's Types Laws and legislation 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 presence or absense of actions. Another way of saying this is that, at least in the context of contracts, neither claim, nor power, nor freedom nor immunity are foundational modalities, as they can be defined in terms of others. We also show that the set of atomic type rights is different from Kanger's original proposal. © 2012 The authors and IOS Press. All rights reserved. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v250_n_p105_Pace http://hdl.handle.net/20.500.12110/paper_09226389_v250_n_p105_Pace
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Automated Legislative Drafting Contract Verification Kanger's Types Artificial intelligence Automated Legislative Drafting Formal analysis Kanger's Types Laws and legislation
spellingShingle	Automated Legislative Drafting Contract Verification Kanger's Types Artificial intelligence Automated Legislative Drafting Formal analysis Kanger's Types Laws and legislation Schapachnik, Fernando Pablo Types of rights in two-party systems: A formal analysis
topic_facet	Automated Legislative Drafting Contract Verification Kanger's Types Artificial intelligence Automated Legislative Drafting Formal analysis Kanger's Types Laws and legislation
description	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 presence or absense of actions. Another way of saying this is that, at least in the context of contracts, neither claim, nor power, nor freedom nor immunity are foundational modalities, as they can be defined in terms of others. We also show that the set of atomic type rights is different from Kanger's original proposal. © 2012 The authors and IOS Press. All rights reserved.
author	Schapachnik, Fernando Pablo
author_facet	Schapachnik, Fernando Pablo
author_sort	Schapachnik, Fernando Pablo
title	Types of rights in two-party systems: A formal analysis
title_short	Types of rights in two-party systems: A formal analysis
title_full	Types of rights in two-party systems: A formal analysis
title_fullStr	Types of rights in two-party systems: A formal analysis
title_full_unstemmed	Types of rights in two-party systems: A formal analysis
title_sort	types of rights in two-party systems: a formal analysis
publishDate	2012
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v250_n_p105_Pace http://hdl.handle.net/20.500.12110/paper_09226389_v250_n_p105_Pace
work_keys_str_mv	AT schapachnikfernandopablo typesofrightsintwopartysystemsaformalanalysis
_version_	1768542042184482816

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

Ejemplares similares