The following pages link to (Q4028802):
Displaying 5 items.
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
- Naming and Identity in Epistemic Logics Part I: The Propositional Case (Q4276167) (← links)
- Agents that look at one another (Q4925180) (← links)