The following pages link to Applying modal logic (Q1150593):
Displaying 5 items.
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- The logic of deliberate action (Q1165837) (← links)
- Performability of actions (Q2071576) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
