You are presented with multiple paper abstracts, alongside the associated literature review and chapter titles. Given the provided information, you are going to do a literature review. Please generate a coherent literature review that synthesizes the content, draws connections between different works, highlights major findings, and identifies any gaps in the existing research.

Literature Review Title: Literature Review: Smart Contract Semantics 
Chapter Title:  Dynamic Logic 
1. Abstract of Cited Paper (BIB001):  Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions and prohibitions of the different actors, can be used to protect the interests of the organisations engaged in such service exchange. However, the potentially dynamic composition of services with different contracts, and the combination of service contracts with local contracts can give rise to unexpected conflicts, exposing the need for automatic techniques for contract analysis. In this paper we look at automatic analysis techniques for contracts written in the contract language $\mathcal{CL}$. We present a trace semantics of $\mathcal{CL}$ suitable for conflict analysis, and a decision procedure for detecting conflicts (together with its proof of soundness, completeness and termination). We also discuss its implementation and look into the applications of the contract analysis approach we present. These techniques are applied to a small case study of an airline check-in desk.

Literature Review:
Prisacariu and Schneider BIB001 propose a contract language CL. CL is made up of elements of deontic, dynamic and temporal logics. An extension to CL was proposed by Fenech et al. BIB002 Wtih this extension, they are able to specify obligations, permissions and prohibitions with state based constraints, and relative temporal constraints. The system also has support for reparations.