1. Alchourrón, C. E., P. Gärdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, The Journal of Symbolic Logic 50(2): 510–530, 1985.
2. Angluin, D., Inductive inference of formal languages from positive data, Information and Control 45(2): 117–135, 1980.
3. Aucher, G., A combined system for update logic and belief revision, in M. W. Barley, and N. Kasabov, (eds.), Intelligent Agents and Multi-Agent Systems, vol. 3371 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2005, pp. 1–17.
4. Baltag, A., N. Gierasimczuk, A. Özgün, A. L. Vargas Sandoval, and S. Smets, A Dynamic Logic for Learning Theory, in A. Madeira, and M. Benevides (eds.), Dynamic Logic. New Trends and Applications: Proceedings of First International Workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017, vol. 10669 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2018, pp. 35–54.
5. Baltag, A., N. Gierasimczuk, and S. Smets, Belief revision as a truth-tracking process, in K. Apt, (ed.), TARK’11: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, Groningen, The Netherlands, July 12–14, 2011, ACM, New York, NY, USA, 2011, pp. 187–190.