Pages that link to "Item:Q2417857"
From MaRDI portal
The following pages link to Expressiveness of probabilistic modal logics: a gradual approach (Q2417857):
Displaying 9 items.
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)
- (Q5028440) (← links)
- (Q5111437) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Behavioural equivalences for continuous-time Markov processes (Q6149932) (← links)