Pages that link to "Item:Q2849846"
From MaRDI portal
The following pages link to Abstraction and probabilities for hybrid logics (Q2849846):
Displaying 6 items.
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Quotient dynamics: the logic of abstraction (Q1679756) (← links)
- A semantics for hybrid probabilistic logic programs with function symbols (Q2238621) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)