Logical Formalisms for Agreement Technologies - Mines Saint-Étienne Access content directly
Book Sections Year : 2013

Logical Formalisms for Agreement Technologies


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.
No file

Dates and versions

emse-00776103 , version 1 (15-01-2013)



Antoine Zimmermann. Logical Formalisms for Agreement Technologies. Sascha Ossowski. Agreement Technologies, Springer Netherlands, pp 69-82, 2013, Law, Governance and Technology Series, 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_5⟩. ⟨emse-00776103⟩
68 View
0 Download



Gmail Mastodon Facebook X LinkedIn More