Modular Markovian logic

Luca Cardelli*, Kim G. Larsen, Radu Mardare

*Corresponding author for this work

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

11 Citations (Scopus)


We introduce Modular Markovian Logic (MML) for compositional continuous-time and continuous-space Markov processes. MML combines operators specific to stochastic logics with operators reflecting the modular structure of the models, similar to those used by spatial and separation logics. We present a complete Hilbert-style axiomatization for MML, prove the small model property and analyze the relation between stochastic bisimulation and logical equivalence.

Original languageEnglish
Title of host publicationAutomata, Languages and Programming. ICALP 2011.
EditorsL. Aceto, M. Hezinger, J. Sgall
Place of PublicationBerlin
Number of pages12
EditionPART 2
ISBN (Print)9783642220111
Publication statusPublished - 11 Jul 2011
Event38th International Colloquium on Automata, Languages and Programming, ICALP 2011 - Zurich, Switzerland
Duration: 4 Jul 20118 Jul 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6756 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference38th International Colloquium on Automata, Languages and Programming, ICALP 2011


  • Markov process
  • Polish space
  • modular structure
  • axiomatic system
  • process algebra


Dive into the research topics of 'Modular Markovian logic'. Together they form a unique fingerprint.

Cite this