Signature in Counterparts, a Formal Treatment

02/23/2020
by   Ron van der Meyden, et al.
0

"Signature in counterparts" is a legal process that permits a contract between two or more parties to be brought into force by having the parties independently (possibly, remotely) sign different copies of the contract, rather than placing their signatures on a common copy at a physical meeting. The paper develops a logical understanding of this process, developing a number of axioms that can be used to justify the validity of a contract from the assumption that separate copies have been signed. It is argued that a satisfactory account benefits from a logic with syntactic self-reference. The axioms used are supported by a formal semantics, and a number of further properties of this semantics are investigated. In particular, it is shown that the semantics implies that when a contract is valid, the parties do not just agree, but are in mutual agreement (a common-knowledge-like notion) about the validity of the contract.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/24/2020

An Incentive-Compatible Smart Contract for Decentralized Commerce

We propose a smart contract that allows two mutually distrusting parties...
research
11/02/2021

Detecting Logical Relation In Contract Clauses

Contracts underlie most modern commercial transactions defining define t...
research
09/07/2023

An Anonymous yet Accountable Contract Wallet System using Account Abstraction

Account abstraction allows a contract wallet to initiate transaction exe...
research
12/15/2020

Learning to Check Contract Inconsistencies

Contract consistency is important in ensuring the legal validity of the ...
research
04/30/2018

Temporal Aspects of Smart Contracts for Financial Derivatives

Implementing smart contracts to automate the performance of high-value o...
research
06/05/2019

A Decentralized IoT Data Marketplace

This paper proposes an architecture for dynamic decentralized marketplac...
research
08/14/2023

Generative Interpretation

We introduce generative interpretation, a new approach to estimating con...

Please sign up or login with your details

Forgot password? Click here to reset