Pages that link to "Item:Q2447179"
From MaRDI portal
The following pages link to A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179):
Displaying 6 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- Reasoning About Degrees of Confirmation (Q5098743) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
