Logics for Distributed Resources
Damiano Macedonio · 2006
who left too soon. This Thesis studies logical characterisations of distributed systems for the purpose of de-scribing resources in heterogeneous environments. The focus is more on the structure and the distribution of resources than their behaviour. The research follows two complemen-tary strategies: a proof theoretical approach, not related to a particular formal model, and a model theoretical approach, deeply related to the choice of a formal model. The former consists in specialising a pure logical formalism to express properties in a distributed sys-tem; the latter consists in defining a new logic by considering a particular formalisation for distributed systems as a model, and by interpreting the logical constructs in such a model. To develop these two differing approaches, the Thesis is organised in two parts. Part I introduces the ‘Logic ’ from the basis by considering Basic Logic: a substruc-tural logic whose aim is to find a structure in the space of the logics. Classical, Intu-itionistic, and non-modal Linear logics are all obtained as extensions of Basic Logic in a uniform way. Basic Logic is taken as the fundament of a resource semantics, that is mod-