Logics for actor networks: A case study in constrained hybridization

José Fiadeiro, Ionuţ Ţuţu (Lead / Corresponding author), Antónia Lopes, Dusko Pavlovic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)


Actor Networks are a modeling framework for cyber-physical system protocols based on Latour’s actor-network theory that addresses the way we now create and exploit the power of computational networks. We advance a logic for modeling and reasoning about such actor networks, which is obtained through a two-stage constrained hybridization process. The first stage results in a logic that captures the structure of actor networks and the way knowledge flows across them; the second addresses the dynamic aspects of actor networks, that is the way they can evolve as a result of the interactions that occur within them. For each of these stages, we develop a sound and complete proof system.

Original languageEnglish
Title of host publicationDynamic Logic. New Trends and Applications
Subtitle of host publicationFirst International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
EditorsAlexandre Madeira, Alexandre Madeira, Mario Benevides
Place of PublicationSwitzerland
PublisherSpringer Verlag
Number of pages17
ISBN (Electronic)9783319735795
ISBN (Print)9783319735788
Publication statusPublished - 2018
EventFirst International Workshop on Dynamic Logic, DALI 2017 - Brasilia, Brazil
Duration: 23 Sept 201724 Sept 2017

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceFirst International Workshop on Dynamic Logic, DALI 2017

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Logics for actor networks: A case study in constrained hybridization'. Together they form a unique fingerprint.

Cite this