Modular Markovian logic

Luca Cardelli, Kim G. Larsen, Radu Mardare

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

9 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.

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)
No.PART 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

Fingerprint

Logic
Markov processes
Separation Logic
Bisimulation
Axiomatization
Operator
Markov Process
Hilbert
Continuous Time
Equivalence
Model
Style

Keywords

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

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). Berlin: Springer-Verlag. https://doi.org/10.1007/978-3-642-22012-8_30
Cardelli, Luca ; Larsen, Kim G. ; Mardare, Radu. / Modular Markovian logic. Automata, Languages and Programming. ICALP 2011.. editor / L. Aceto ; M. Hezinger ; J. Sgall. PART 2. ed. Berlin : Springer-Verlag, 2011. pp. 380-391 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2).
@inproceedings{b5d7e87e024b454f80a7973a578134a1,
title = "Modular Markovian logic",
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.",
keywords = "Markov process, Polish space, modular structure, axiomatic system, process algebra",
author = "Luca Cardelli and Larsen, {Kim G.} and Radu Mardare",
year = "2011",
month = "7",
day = "11",
doi = "10.1007/978-3-642-22012-8_30",
language = "English",
isbn = "9783642220111",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
number = "PART 2",
pages = "380--391",
editor = "L. Aceto and M. Hezinger and J. Sgall",
booktitle = "Automata, Languages and Programming. ICALP 2011.",
edition = "PART 2",

}

Cardelli, L, Larsen, KG & Mardare, R 2011, Modular Markovian logic. in L Aceto, M Hezinger & J Sgall (eds), Automata, Languages and Programming. ICALP 2011.. PART 2 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 2, vol. 6756 LNCS, Springer-Verlag, Berlin, pp. 380-391, 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Zurich, Switzerland, 4/07/11. https://doi.org/10.1007/978-3-642-22012-8_30

Modular Markovian logic. / Cardelli, Luca; Larsen, Kim G.; Mardare, Radu.

Automata, Languages and Programming. ICALP 2011.. ed. / L. Aceto; M. Hezinger; J. Sgall. PART 2. ed. Berlin : Springer-Verlag, 2011. p. 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).

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

TY - GEN

T1 - Modular Markovian logic

AU - Cardelli, Luca

AU - Larsen, Kim G.

AU - Mardare, Radu

PY - 2011/7/11

Y1 - 2011/7/11

N2 - 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.

AB - 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.

KW - Markov process

KW - Polish space

KW - modular structure

KW - axiomatic system

KW - process algebra

UR - http://www.scopus.com/inward/record.url?scp=79959927796&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22012-8_30

DO - 10.1007/978-3-642-22012-8_30

M3 - Conference contribution book

SN - 9783642220111

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 380

EP - 391

BT - Automata, Languages and Programming. ICALP 2011.

A2 - Aceto, L.

A2 - Hezinger, M.

A2 - Sgall, J.

PB - Springer-Verlag

CY - Berlin

ER -

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