Pages that link to "Item:Q2447179"

The following pages link to A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179):

Displaying 3 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)
• Probability logics for reasoning about quantum observations (Q6113689) (← links)