Skip to Main content Skip to Navigation
Book sections

Logical Formalisms for Agreement Technologies

Antoine Zimmermann 1, 2
1 ISCOD-ENSMSE - Equipe : Informatique pour les Systèmes Coopératifs, Ouverts Décentralisés
2 ISCOD-ENSMSE - Département Informatique pour les Systèmes Coopératifs Ouverts et Décentralisés
Abstract : 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.
Document type :
Book sections
Complete list of metadata
https://hal-emse.ccsd.cnrs.fr/emse-00776103
Contributor : Florent Breuil <>
Submitted on : Tuesday, January 15, 2013 - 9:06:11 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:08 PM

Identifiers

Collections

FAYOL-ENSMSE | ISCOD-ENSMSE | EMSE | UR-LSTI-ENSMSE | ISCODE-ENSMSE | TDS-MACS | INSTITUT-TELECOM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

227