The following pages link to (Q5224562):
Displaying 6 items.
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)