The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms. A number of axioms and rules of inference are developed that can be used to justify a ``meeting of the minds'' precondition for contract formation from the fact that certain content has been signed. In addition to an ``offer and acceptance'' process, the paper considers ``signature in counterparts'', 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. It is argued that a satisfactory account of signature in counterparts benefits from a logic with syntactic self-reference. The axioms used are supported by a formal semantics, and a number of further properties of the logic are investigated. In particular, it is shown that the logic implies that when a contract has been signed, the parties do not just agree, but are in mutual agreement (a common-knowledge-like notion) about the terms of the contract.

翻译：该文件发展了对法律合同签署过程的逻辑理解,其动机是应用法律承认链式平台上的智能合同; 制定了一些推理法和规则,这些推理法和规则可以用来证明“满足心智”从某些内容已经签署这一事实出发的订立合同的先决条件是合理的; 除了“出价和接受”程序外,该文件还考虑“在对等方的程序中签字”,这是一个允许两个或两个以上当事方之间签订合同生效的法律程序,其方式是使双方当事人独立(可能、远程)签署不同合同副本,而不是在一次实际会议上将其签字放在共同副本上; 据认为,对应方对签名的令人满意的说明得益于具有同步性自我参照的逻辑; 所使用的推理得到正式语义学的支持,并且对逻辑的一些进一步特性进行了调查; 特别是,逻辑表明,逻辑意味着,当合同签署时,双方当事人并非仅仅同意合同条款,而是在相互协议中(一种共同的认知概念)。