Continuous Markovian Logics - Axiomatization and Quantified Metatheory

  title={Continuous Markovian Logics - Axiomatization and Quantified Metatheory},
  author={R. Mardare and L. Cardelli and K. Larsen},
  journal={Log. Methods Comput. Sci.},
  • R. Mardare, L. Cardelli, K. Larsen
  • Published 2012
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a… CONTINUE READING
    33 Citations
    A Complete Approximation Theory for Weighted Transition Systems
    • 5
    • PDF
    Complete proof systems for weighted modal logic
    • 13
    Reasoning About Bounds in Weighted Transition Systems
    • 5
    • PDF
    Strong Completeness for Markovian Logics
    • 15
    • PDF
    Logical Characterization of Bisimulation Metrics
    • 17
    • PDF
    Concurrent weighted logic
    • 4
    Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
    On a Categorical Framework for Coalgebraic Modal Logic
    • 6
    • PDF


    A logical characterization of bisimulation for labeled Markov processes
    • 115
    Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
    • 90
    • PDF
    Modular Markovian Logic
    • 22
    • PDF
    Approximating labeled Markov processes
    • 89
    • PDF
    Bisimulation for Labeled Markov Processes
    • 37
    Bisimulation for Labelled Markov Processes
    • 262
    • PDF
    Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
    • 167
    • PDF
    Unprovability of the logical characterization of bisimulation
    • 19
    • PDF
    On Modal Logics of Linear Inequalities
    • 17
    • PDF