1. Alchourrón, C. E., P. Gärdenfors, and D. Makinson. 1985. “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.” Journal of Symbolic Logic 50:510–30.
2. Artemov, S., and E. Nogina. 2005. “Introducing Justification to Epistemic Logic.” Journal of Logic and Computation 15(6):1059–73.
3. Barendregt, H. P. 1984. The Lambda Calculus: Its Syntax and Semantics, vol. 103 of Studies in Logic and the Foundations of Mathematics (Revised Edition). Amsterdam: North Holland.
4. Borghuis, T., F. Kamareddine, and R. Nederpelt. 2002. “Formalizing Belief Revision in Type Theory.” Logic Journal of the IGPL 10(5):461–500.
5. Brewka, G. 1991. “Belief Revision in a Framework for Default Reasoning.” In The Logic of Theory Change Workshop, Konstanz, vol. 465 of Lecture Notes in Computer Science. Berlin: Springer.