The following pages link to Systems for Knowledge and Belief (Q4276179):
Displaying 4 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic (Q885521) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
