Pages that link to "Item:Q1419382"
From MaRDI portal
The following pages link to Topological aspects of branching-time semantics (Q1419382):
Displaying 8 items.
- Transition semantics for branching time (Q302231) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Non-definability of the class of complete bundled trees (Q4238504) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)