The following pages link to Causation (Q1310622):
Displayed 10 items.
- Combinations of stit and actions (Q616041) (← links)
- Actions as events (Q692178) (← links)
- Conditional logic of actions and causation (Q814610) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Branching space-time (Q1198418) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Events in branching time (Q1780898) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)