Beaver, D., 1994, "What comes first in dynamic semantics?," PhD Thesis, University of Edinburgh.

van Benthem, J., 1991, *Language in Action*, Amsterdam: North-Holland.

Blackburn, P., Gardent, C., and Meyer-Viol, W., 1993, "Talking about trees," pp. 21–29 in *Proceedings of the 6th Conference of the European Chapter of the Association of Computational Linguistics*, Utrecht.

Blackburn, P., Gardent, C., and de Rijke, M., 1996, "Rich ontologies for tense and aspect," in *Logic, Language and Computation*, J. Seligman and D. Westerståhl, eds., Stanford: CSLI Publications. To appear.

Blackburn, P. and Meyer-Viol, W., 1996, "Modal logic and model theoretic syntax," in *Advances in Intensional Logic*, M. de Rijke, ed., Dordrecht: Kluwer. To appear.

Blackburn, P., Meyer-Viol, W., and de Rijke, M., 1996, "A proof system for finite trees," in *Computer Science Logic ’95*, Berlin: Springer-Verlag. To appear.

Blackburn, P. and de Rijke, M., 1996, Logics of communicating structures. In preparation.

Börger, E., 1990, "A logical operational semantics for full Prolog, Part 1." pp. 36–64 in *Proceedings CSL ’89*, E. Börger et al., eds., LNCS 440, Berlin: Springer-Verlag.

Brink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras," *Formal Aspects of Computing*
**6**, 339–358.

Fine, K. and Schurz, G., 1991, "Transfer theorems for stratified multi-modal logics," in *Proceedings of the Arthur Prior Memorial Conference*. To appear.

Finger, M. and Gabbay, D.M., 1992, "Adding a temporal dimension to a logic system," *Journal of Logic, Language and Information*
**1**, 203–233.

Finger, M. and Gabbay, D.M., 1996, "Combining temporal logic systems," *Notre Dame Journal of Formal Logic*. To appear.

Gabbay, D.M., 1994, "Fibered semantics," manuscript, London: Imperial College.

Gärdenfors, P., 1988, *Knowledge in Flux*, Cambridge, MA: MIT Press.

Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, *Generalised Phrase Structure Grammar*, Oxford: Basil Blackwell.

Girard, J.-Y., 1987, "Linear logic," *Theoretical Computer Science*
**50**, 1–102.

van Glabbeek, R., 1990, "Comparative concurrency semantics and refinement of actions," PhD Thesis, Vrije Universiteit Amsterdam.

Goguen J.A. and Burstall, R.M., 1984, "Some fundamental algebraic tools of the semantics of computation (I)," *Theoretical Computer Science*
**31**, 175–209.

Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," *Linguistics and Philosophy*
**14**, 39–100.

Gurevich, Y., 1991, "Evolving algebras; a tutorial introduction," *Bulletin EATCS*
**43**, 264–284.

Harel, D., 1984, "Dynamic logic," pp. 497–604 in *Handbook of Philosophical Logic 2*, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.

Hemaspaandra, E., 1994, "Complexity transfer for modal logic," pp. 164–173 in *Proceedings 9th LICS*, Paris.

Hemaspaandra, E., 1996, "The price of universality," *Notre Dame Journal of Formal Logic*. To appear.

Johnson, D., and Moss, L., 1994, "Grammar formalisms viewed as evolving algebras," *Linguistics and Philosophy*
**17**, 537–560.

Joshi, A., Levy, L., and Takahashi, M., 1975, "Tree adjunct grammars," *Journal of Computer and Systems Sciences*
**10**, 136–163.

Kaplan, R. and Bresnan, J., 1982, "Lexical-functional grammar: a formal system for grammatical representation," pp. 173–281 in *The Mental Representation of Grammatical Relations*, J. Bresnan, ed., Cambridge, MA: MIT Press.

Kasper, R. and Rounds, W., 1990, "The logic of unification in grammar," *Linguistics and Philosophy*
**13**, 33–58.

Kracht, M. and Wolter, F., 1991, "Properties of independently axiomatisable bimodal logics," *Journal of Symbolic Logic*
**56**, 1469–1485.

Kurucz, A., Jánossy, A., and Eiben, G., 1996, "Combining algebraizable logics," *Notre Dame Journal of Formal Logic*. To appear.

Marx, M., Németi, I., Sain, I., and Mikulás, S., 1996, "Investigations in arrow logics," in *Arrow Logics and Multi-modal Logics*, M. Marx, L. Polos, and M. Masuch, eds., Studies in Logic, Language and Information. Stanford: CSLI Publications. To appear.

Moens, M., and Steedman, M., 1988, "Temporal ontology and temporal reference," *Computational Linguistics*
**14**, 15–28.

Moshier, D., and Rounds, W., 1987, "A logic for partially specified data structures," pp. 156–167 in *Proceedings of the 14th ACM Symposium on Principles of Programming Languages*, Munich.

Pratt, V., 1976, "Semantical considerations on Floyd–Hoare logic," pp. 109–121 in *Proceedings 17th IEEE Symposium on the Foundations of Computer Science*.

Pratt, V., 1991, "Action logic and pure induction," pp. 79–120 in *Logics in AI*, J. van Eijck, ed., LNAI 478, Berlin: Springer.

de Rijke, M., 1992, A system of dynamic modal logic, Report #CSLI-92-170, Stanford University. To appear in *Journal of Philosophical Logic*.

de Rijke, M., 1994, "Meeting some neighbours," pp. 170–195 in *Logic and Information Flow*, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.

de Rijke, M., 1995, "The logic of Peirce algebras," *Journal of Logic, Language and Information*
**4**, 227–250.

Seligman, J., 1990, "Perspectives: A relativistic approach to the theory of information," PhD Thesis, University of Edinburgh.

Seligman, J., 1996, Combining logics with ease. In preparation.

Spaan, E., 1993, "Complexity of modal logics," PhD Thesis, ILLC, University of Amsterdam.

Vakarelov, D., 1996, "Modal arrow logic," in *Advances in Intensional Logic*, M. de Rijke, ed., Dordrecht: Kluwer. To appear.

Venema, Y., 1996, "A crash course in arrow logic," in *Arrow Logics and Multi-modal Logics*, M. Marx, L. Polos and M. Masuch, eds., Studies in Logic, Language and Information. CSLI Publications, Stanford. To appear.