Skip to main content

A Dynamic-Epistemic Logic for Mobile Structured Agents

  • Chapter
  • 785 Accesses


Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build.

BioAmbient calculus is an extension of π-calculus, developed largely for applications to biomolecular systems. It deals with ambients and their ability to communicate and to execute concurrent processes while moving.

In this paper we combine the formalism of Dynamic Epistemic Logic together with the formalism of BioAmbient Calculus in order to reason about knowledge maintained and gained upon process transitions. The motivation lies in developing a language that captures locally available information through assignment of knowledge, with potential application to biological systems as well as social, virtual, and others.

We replace the ambients of BioAmbient Calculus with agents, to which we attribute knowledge, and explore the parallels of this treatment. The resulting logic describes the information flow governing mobile structured agents, organized hierarchically, whose architecture (and local information) may change due to actions such as communication, merging (of two agents), entering (of an agent into the inner structure of another agent) and exiting (of an agent from the structure of another). We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents’ dynamic architecture.


  • dynamic epistemic logic
  • mobile agents
  • structured agents
  • multi-agent system
  • subagent
  • indistinguishability of states
  • knowledge (logic)
  • bioambient

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-28111-2_13
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   109.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-28111-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   149.99
Price excludes VAT (USA)
Hardcover Book
USD   179.99
Price excludes VAT (USA)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aceto, L., Fokkink, W.J., Verhoef, C.: Structural Operational Semantics. Basic Research in Computer Science (Fall 1999),

  2. Andova, S.: Probabilistic Process Algebra. PhD Thesis, Technische Universiteit Eindhoven (15 2002)

    Google Scholar 

  3. Baeten, J.C.M.: Applications of Process Algebra. Cambridge University Press, Cambridge (1990)

    CrossRef  MATH  Google Scholar 

  4. Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese (”An International Journal for Epistemology, Methodology and Philosophy of Science”) 139(2), 165–224 (2004); Symons, J., Hintikka, J. (eds.), van der Hoek, W. (special section editor). Kluwer Academic Press

    MathSciNet  MATH  Google Scholar 

  5. Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic Logic and Information Update. In: Adriaans, P., van Benthem, J.F.A.K. (eds.) Philosophy of Information, pp. 361–451. Elsevier, Oxford (2008)

    CrossRef  Google Scholar 

  6. Baltag, A., Smets, S.: Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics 1(17), 0020–7748 (2010)

    MathSciNet  Google Scholar 

  7. Baltag, A., Smets, S.: Probabilistic dynamic belief revision. Synthese 165(2), 179–202 (2008)

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Behrens, G., Stoll, M.: Pathogenesis and Immunology. Influenza Report (Spring 2006),

  9. Cardelli, L.: Abstract Machines of Systems Biology. In: Microsoft Research (Fall 2005),

  10. Cardelli, L.: Bioware languages. In: Herbert, A., SpUarck Jones, K. (eds.) Computer Systems: Theory, Technology, and Applications A Tribute to Rodger Needham. Springer, Heidelberg (2003)

    Google Scholar 

  11. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    CrossRef  Google Scholar 

  12. Castellani, I.: Process Algebras with Localities. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 945–1045. Elsevier (2001)

    Google Scholar 

  13. van Glabbeek, R.J.: The Linear Time – Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 5–97. Elsevier (2001)

    Google Scholar 

  14. van Ditmarsch, H.P., vad der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008)

    MATH  Google Scholar 

  15. Fokkink, W.: Introduction to Process Algebra. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  16. Mardare, R.: Observing Distributed Computation. A Dynamic-Epistemic Approach. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 379–393. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  17. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  18. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25–31 (2001)

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoritical Computer Science 325, 141–167 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  20. Sadrzadeh, M.: Actions and Resources in Epistemic Logic. PhD Thesis, Université du Québec À Montréal (2006),

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Anya Yermakova .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this chapter

Cite this chapter

Yermakova, A., Baltag, A. (2012). A Dynamic-Epistemic Logic for Mobile Structured Agents. In: Simeonov, P., Smith, L., Ehresmann, A. (eds) Integral Biomathics. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28110-5

  • Online ISBN: 978-3-642-28111-2

  • eBook Packages: EngineeringEngineering (R0)