Pages that link to "Item:Q2915679"
From MaRDI portal
The following pages link to Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (Q2915679):
Displaying 5 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Trace relations and logical preservation for continuous-time Markov decision processes (Q1675807) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- (Q4558788) (← links)