The following pages link to McCarthy variations in a modal key (Q543607):
Displaying 6 items.
- John McCarthy's legacy (Q543573) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
