1. Adam, C., Gaudou, B.: BDI agents in social simulations: a survey. Knowl. Eng. Rev. 31(3), 207–238 (2016)
2. Artemov, S., Fitting, M.: “Justification Logic”, The Stanford Encyclopedia of Philosophy (Summer 2020 Edition), Edward N. Zalta (ed.)
3. Baltag, A., Renne, B.: “Dynamic Epistemic Logic”, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.)
4. Caillou, P., Gaudou, B., Grignard, A., Truong, C. Q., Taillandier, P.: A simple-to-use BDI architecture for Agent-based Modeling and Simulation. In: Proceedings of the 11th Conference of the European Social Simulation Association (ESSA 2015) (2015)
5. Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)