1. Alchourrón, Carlos, Peter Gärdenfors, and David Makinson. 1985. “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.” Journal of Symbolic Logic 50:510–30.
2. Belnap, Nuel and Michael Perloff. 1988. “Seeing to It That: A Canonical Form of Agentives.” Theoria 54:175–99.
3. Benthem, Johan van. 1989. Modal Logic as a Theory of Information. Technical Report LP-89-05. ILLC, University of Amsterdam.
4. Benthem, Johan van. 1993. Exploring Logical Dynamics. Stanford, CA: CSLI Publications.
5. Benthem, Johan van, and Fenrong Liu. 2007. “Dynamic Logic of Preference Upgrade.” Journal of Applied Non-classical Logics. 17:157–82.