van Benthem, J. F. A. K. (1998). Process Operations in extended dynamic logic. In LICS IEEE Publications.
van Benthem, J. F. A. K. (1998). Programming operatiosn that are safe for bisimulation. Studia Logica, 60(2), 311-330.
van Benthem, J. F. A. K. (1998). Proof Theory and Dynamics in natural language. In H.-J. Ohlbach, & U. Reyle (Eds.), Festschrift for Dov Gabbay (pp. 37-47). (-; No. -). Kluwer.
van Benthem, J. F. A. K. (1998). Shifting contexts and changing assertions. In R. van Glabbeek, A. Aliseda Llera, & D. Wersterstahl (Eds.), Computing natural language (pp. 51-65). (-; No. -). CSLI Publications.
van Benthem, J. F. A. K. (1998). Temporal patterns and modal structure. (CT-98; No. 03). WINS (oud WINS).
van Benthem, J. F. A. K. (1998). Wider still and wider: resetting the bounds of logic. (LP-97; No. 08). WINS (oud WINS).
van Benthem, J. F. A. K. (1998). Dynamiek: Een Inleiding. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 90(1), 3-25.
van Benthem, J. F. A. K., Groenendijk, J. A. G., Stokhof, M. J. B., & Veltman, F. J. M. M. (1998). Logische Dynamiek: Een Inleiding. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 90(1), 3-25.
van Benthem, J. F. A. K. (1997). Logic, language and information: The makings of a new science?Journal of Logic, Language and Information, 6(1), 1-3.
van Benthem, J. F. A. K. (1997). Cognitive actions in focus. Journal of Logic, Language and Information, 6(2), 119-121.
