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
id todo:paper_09226389_v250_n_p105_Pace
record_format dspace
spelling todo:paper_09226389_v250_n_p105_Pace2023-10-03T15:45:47Z Types of rights in two-party systems: A formal analysis Pace, G.J. Schapachnik, F. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Pace, G.J.
Schapachnik, F.
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.
format SER
author Pace, G.J.
Schapachnik, F.
author_facet Pace, G.J.
Schapachnik, F.
author_sort Pace, G.J.
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
url http://hdl.handle.net/20.500.12110/paper_09226389_v250_n_p105_Pace
work_keys_str_mv AT pacegj typesofrightsintwopartysystemsaformalanalysis
AT schapachnikf typesofrightsintwopartysystemsaformalanalysis
_version_ 1782029341709828096

Ejemplares similares