Modular Markovian logic

Luca Cardelli, Kim G. Larsen, Radu Mardare

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

10 Citations (Scopus)

Abstract

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
PublisherSpringer-Verlag
Pages380-391
Number of pages12
EditionPART 2
ISBN (Print)9783642220111
DOIs
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

Conference

Conference38th International Colloquium on Automata, Languages and Programming, ICALP 2011
CountrySwitzerland
CityZurich
Period4/07/118/07/11

Keywords

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

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

  • Cite this

    Cardelli, L., Larsen, K. G., & Mardare, R. (2011). Modular Markovian logic. In L. Aceto, M. Hezinger, & J. Sgall (Eds.), Automata, Languages and Programming. ICALP 2011. (PART 2 ed., pp. 380-391). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6756 LNCS, No. PART 2). Springer-Verlag. https://doi.org/10.1007/978-3-642-22012-8_30