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

van Benthem, J., 1991,

*Language in Action*, Amsterdam: North-Holland.

Google ScholarBlackburn, 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.

Google ScholarBlackburn, 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.

Google ScholarBlackburn, 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.

Google ScholarBlackburn, 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.

Google ScholarBrink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras,"

*Formal Aspects of Computing*
**6**, 339–358.

Google ScholarFine, 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.

Google ScholarFinger, 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.

Google ScholarGärdenfors, P., 1988,

*Knowledge in Flux*, Cambridge, MA: MIT Press.

Google ScholarGazdar, G., Klein, E., Pullum, G., and Sag, I., 1985,

*Generalised Phrase Structure Grammar*, Oxford: Basil Blackwell.

Google ScholarGirard, J.-Y., 1987, "Linear logic,"

*Theoretical Computer Science*
**50**, 1–102.

Google Scholarvan 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.

Google ScholarGroenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic,"

*Linguistics and Philosophy*
**14**, 39–100.

Google ScholarGurevich, Y., 1991, "Evolving algebras; a tutorial introduction,"

*Bulletin EATCS*
**43**, 264–284.

Google ScholarHarel, D., 1984, "Dynamic logic," pp. 497–604 in

*Handbook of Philosophical Logic 2*, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.

Google ScholarHemaspaandra, 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.

Google ScholarJoshi, A., Levy, L., and Takahashi, M., 1975, "Tree adjunct grammars,"

*Journal of Computer and Systems Sciences*
**10**, 136–163.

Google ScholarKaplan, 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.

Google ScholarKasper, R. and Rounds, W., 1990, "The logic of unification in grammar,"

*Linguistics and Philosophy*
**13**, 33–58.

Google ScholarKracht, M. and Wolter, F., 1991, "Properties of independently axiomatisable bimodal logics,"

*Journal of Symbolic Logic*
**56**, 1469–1485.

Google ScholarKurucz, 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.

Google ScholarMoens, M., and Steedman, M., 1988, "Temporal ontology and temporal reference,"

*Computational Linguistics*
**14**, 15–28.

Google ScholarMoshier, 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.

Google Scholarde 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.

Google Scholarde Rijke, M., 1995, "The logic of Peirce algebras,"

*Journal of Logic, Language and Information*
**4**, 227–250.

Google ScholarSeligman, 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.

Google ScholarVenema, 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.

Google Scholar