Search results

Query: author: "benthem,j.f.a.k.van"

301 to 310 of 418
1   11   21   31   41   51   61   71   81   91   101   111   121   131   141   151   161   171   181   191   201   211   221   231   241   251   261   271   281   291   301   311   321   331   341   351   361   371   381   391   401   411

301		Chapter: Process Operations in extended dynamic logic J.F.A.K. van Benthem in: LICS (1998)
302		Article: Programming operatiosn that are safe for bisimulation J.F.A.K. van Benthem in: Studia Logica, Vol. 60 (1998), p. 311-330
303		Chapter: Proof Theory and Dynamics in natural language J.F.A.K. van Benthem in: Festschrift for Dov Gabbay (1998), p. 37-47
304		Chapter: Shifting contexts and changing assertions J.F.A.K. van Benthem in: Computing natural language (1998), p. 51-65
305		Report: Temporal patterns and modal structure J.F.A.K. van Benthem (1998)
306		Book: Van grondslagen onderzoek naar Informatiewetenschap J.F.A.K. van Benthem (1998), - p.
307		Report: Wider still and wider: resetting the bounds of logic J.F.A.K. van Benthem (1998)
308		Article: Modal deduction in second-order logic and set theory, part 2 G. d'Agostino, J.F.A.K. van Benthem in: Studia Logica, Vol. 60 (1998), p. ---
309		Article: Cognitive actions in focus J.F.A.K. van Benthem in: Journal of Logic Language and Information, Vol. 6 (1997), p. 119-121
310		Article: Logic, language and information: The makings of a new science? J.F.A.K. van Benthem in: Journal of Logic Language and Information, Vol. 6 (1997), p. 1-3

• UvA-DARE is a service of the Library of the University of Amsterdam and is part of a national and international network of scientific and scholarly information services.