Modular Markovian logic

L. Cardelli; Kim Guldstrand Larsen; R. Mardare

doi:10.1007/978-3-642-22012-8_30

Modular Markovian logic

L. Cardelli, Kim Guldstrand Larsen, R. Mardare

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

11 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 language	English
Book series	Lecture Notes in Computer Science
Volume	6756 LNCS
Pages (from-to)	380-391
Number of pages	12
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-22012-8_30
Publication status	Published - 1 Jan 2011
Event	38th International Colloquium on Automata, Languages and Programming - Zurich, Switzerland Duration: 4 Jul 2011 → 8 Jul 2011 Conference number: 38

Conference

Conference	38th International Colloquium on Automata, Languages and Programming
Number	38
Country/Territory	Switzerland
City	Zurich
Period	04/07/2011 → 08/07/2011

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{cd8208a6ad4145efb68c6b9b564ca270,

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.",

author = "L. Cardelli and Larsen, {Kim Guldstrand} and R. Mardare",

note = "Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.); 38th International Colloquium on Automata, Languages and Programming ; Conference date: 04-07-2011 Through 08-07-2011",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-22012-8_30",

language = "English",

volume = "6756 LNCS",

pages = "380--391",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Modular Markovian logic

AU - Cardelli, L.

AU - Larsen, Kim Guldstrand

AU - Mardare, R.

N1 - Conference code: 38

PY - 2011/1/1

Y1 - 2011/1/1

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.

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 article in Journal

AN - SCOPUS:79959927796

SN - 0302-9743

VL - 6756 LNCS

SP - 380

EP - 391

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 38th International Colloquium on Automata, Languages and Programming

Y2 - 4 July 2011 through 8 July 2011

ER -

Modular Markovian logic

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint