Partial knowledge in membrane systems: A logical approach

Matteo Cavaliere, Radu Mardare

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)


We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a formal framework to combine and interpret distributed knowledge in order to recover the complete knowledge about a membrane system. The proposed logic can be used to model biological situations where information concerning parts of the biological system is missing or incomplete.
Original languageEnglish
Pages (from-to)279-297
Number of pages19
JournalLecture Notes in Computer Science
Publication statusPublished - 21 Jul 2006
Event7th International Workshop, Membrane Computing WMC 2006 - Leiden, Netherlands
Duration: 17 Jul 200621 Jul 2006


  • membrane systems
  • partial information
  • axiomatic system
  • epistemic logic
  • dynamic logics
  • external observer
  • epistemic agents
  • formal framework
  • model biological situations


Dive into the research topics of 'Partial knowledge in membrane systems: A logical approach'. Together they form a unique fingerprint.

Cite this