Please use this identifier to cite or link to this item:
Title: Permissions in contracts, a logical insight
Authors: Pace, Gordon J.
Schapachnik, Fernando
Keywords: Deontic logic
Relevance logic
Interactive computer systems
Issue Date: 2011
Publisher: IOS Press
Citation: Pace, G. J., & Schapachnik, F. (2011). Permissions in contracts, a logical insight. Twenty-Fourth Annual Conference on Legal Knowledge and Information Systems, Vienna. 1-5.
Abstract: 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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
145.58 kBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.