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
Autores principales: Pace, G.J., Schapachnik, F.
Formato: SER
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: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 todo:paper_09226389_v235_n_p140_Pace
record_format dspace
spelling todo:paper_09226389_v235_n_p140_Pace2023-10-03T15:45:47Z Permissions in contracts, a logical insight Pace, G.J. Schapachnik, F. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Pace, G.J.
Schapachnik, F.
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.
format SER
author Pace, G.J.
Schapachnik, F.
author_facet Pace, G.J.
Schapachnik, F.
author_sort Pace, G.J.
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
url http://hdl.handle.net/20.500.12110/paper_09226389_v235_n_p140_Pace
work_keys_str_mv AT pacegj permissionsincontractsalogicalinsight
AT schapachnikf permissionsincontractsalogicalinsight
_version_ 1807321107371393024

Ejemplares similares