This chapter provides an overview of the logical formalisms that have been proposed to define the formal semantics of knowledge systems that are distributed, heterogeneous and multi contextual. It starts with the abstract notions that are common to many of these logics, and then focuses on individual formalisms.
CITATION STYLE
Zimmermann, A. (2013). Logical Formalisms for Agreement Technologies. In Law, Governance and Technology Series (Vol. 8, pp. 69–82). Springer Nature. https://doi.org/10.1007/978-94-007-5583-3_5
Mendeley helps you to discover research relevant for your work.