The following pages link to A topological logic of action (Q1077395):
Displaying 6 items.
- Tangled modal logic for topological dynamics (Q764267) (← links)
- A lemma in the logic of action (Q923065) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Reasoning about actions and obligations in first-order logic (Q1922829) (← links)
- Evaluating practical reasoning (Q2460166) (← links)
- (Q5067990) (← links)