Doxastic Logic in AI
Supervisor: Vera Stebletsova (v.n.stebletsova@vu.nl)
Description
Possible topics/research questions to investigate
- What Doxastic Logic is (syntax, semantics, main features of its formal theory)
- Review applications of DL known in the relevant literature
- Model Checking in DL