Pages that link to "Item:Q4899119"

The following pages link to Continuous Markovian Logics - Axiomatization and Quantified Metatheory (Q4899119):

Displaying 5 items.

• A metrized duality theorem for Markov processes (Q283765) (← links)
• Concurrent weighted logic (Q890620) (← links)
• Complete proof systems for weighted modal logic (Q2253184) (← links)
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
• (Q4558788) (← links)