Continuous Markovian Logics - Axiomatization and Quantified Metatheory

DOI10.2168/LMCS-8(4:19)2012zbMath1261.03088arXiv1211.5190WikidataQ56981891 ScholiaQ56981891MaRDI QIDQ4899119

Radu Mardare, Luca Cardelli, Kim Guldstrand Larsen

Publication date: 7 January 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.5190

zbMATH Keywords

Markov processesfinite model propertymetric semanticsaxiomatizationprobabilistic modal logicstochastic modal logicstochastic bisimilarity

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Modal logic (including the logic of norms) (03B45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

A metrized duality theorem for Markov processes ⋮ Concurrent weighted logic ⋮ Complete proof systems for weighted modal logic ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item

This page was built for publication: Continuous Markovian Logics - Axiomatization and Quantified Metatheory