Permissions in contracts, a logical insight

Despite the fact that contracts are, by definition, an agreement between two or more parties, most formal studies limit themselves to contracts regulating only a single party or the parties independently of each other, without looking into how permissions, obligations or prohibitions of one party af...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Schapachnik, Fernando Pablo
Publicado: 2011
Materias:
Automated Legislative Drafting
Contract Verification
Permissions
Formal methods
Semantics
Automata-based formalisms
Formal Semantics
Formal studies
Strictness analysis
Laws and legislation
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v235_n_p140_Pace
http://hdl.handle.net/20.500.12110/paper_09226389_v235_n_p140_Pace
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_09226389_v235_n_p140_Pace
record_format dspace
spelling paper:paper_09226389_v235_n_p140_Pace2023-06-08T15:50:54Z Permissions in contracts, a logical insight Schapachnik, Fernando Pablo Automated Legislative Drafting Contract Verification Permissions Formal methods Semantics Automata-based formalisms Automated Legislative Drafting Formal Semantics Formal studies Permissions Strictness analysis Laws and legislation Despite the fact that contracts are, by definition, an agreement between two or more parties, most formal studies limit themselves to contracts regulating only a single party or the parties independently of each other, without looking into how permissions, obligations or prohibitions of one party affect the other. This article deals with the analysis of what different types of permissions mean in the context of contracts. To give formal semantics we use an automata based formalism allowing to model for one party agreeing, delaying or plain refusing on performing certain actions that the other is attempting. This approach also yields a natural notion of contract strictness analysis for each party. © 2011 The authors and IOS Press. All rights reserved. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2011 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v235_n_p140_Pace http://hdl.handle.net/20.500.12110/paper_09226389_v235_n_p140_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
Permissions
Formal methods
Semantics
Automata-based formalisms
Automated Legislative Drafting
Formal Semantics
Formal studies
Permissions
Strictness analysis
Laws and legislation
spellingShingle Automated Legislative Drafting
Contract Verification
Permissions
Formal methods
Semantics
Automata-based formalisms
Automated Legislative Drafting
Formal Semantics
Formal studies
Permissions
Strictness analysis
Laws and legislation
Schapachnik, Fernando Pablo
Permissions in contracts, a logical insight
topic_facet Automated Legislative Drafting
Contract Verification
Permissions
Formal methods
Semantics
Automata-based formalisms
Automated Legislative Drafting
Formal Semantics
Formal studies
Permissions
Strictness analysis
Laws and legislation
description Despite the fact that contracts are, by definition, an agreement between two or more parties, most formal studies limit themselves to contracts regulating only a single party or the parties independently of each other, without looking into how permissions, obligations or prohibitions of one party affect the other. This article deals with the analysis of what different types of permissions mean in the context of contracts. To give formal semantics we use an automata based formalism allowing to model for one party agreeing, delaying or plain refusing on performing certain actions that the other is attempting. This approach also yields a natural notion of contract strictness analysis for each party. © 2011 The authors and IOS Press. All rights reserved.
author Schapachnik, Fernando Pablo
author_facet Schapachnik, Fernando Pablo
author_sort Schapachnik, Fernando Pablo
title Permissions in contracts, a logical insight
title_short Permissions in contracts, a logical insight
title_full Permissions in contracts, a logical insight
title_fullStr Permissions in contracts, a logical insight
title_full_unstemmed Permissions in contracts, a logical insight
title_sort permissions in contracts, a logical insight
publishDate 2011
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v235_n_p140_Pace
http://hdl.handle.net/20.500.12110/paper_09226389_v235_n_p140_Pace
work_keys_str_mv AT schapachnikfernandopablo permissionsincontractsalogicalinsight
_version_ 1768545290184294400

Ejemplares similares