The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

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

341 to 350 of 419
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

341   Article: Logic of transition systems
J.F.A.K. van Benthem, J.A. Bergstra in: Journal of Logic Language and Information, Vol. 3 (1995), p. 247-283
342   Chapter: NNIL, A Study in Intuitionistic Propositional Logic
J.F.A.K. van Benthem, A. Visser, D.H.J. de Jongh, G. Lavalette in: Modal Logic and Process Algebra, CSLI Lecture Notes (1995), p. 289-326
343   Chapter: Quantifiers in the World of Types
J.F.A.K. van Benthem in: Quantifiers, Logic Language, CSLI Lecture Notes (1995), p. 45-60
344   Chapter: Submodel Preservation Theorems in Finite-Variable Fragments
J.F.A.K. van Benthem, H. Andreka, I. Nemeti in: Modal Logic and Process Algebra, CSLI Lecture Notes (1995)
345   Chapter: Temporal Logic
J.F.A.K. van Benthem in: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (1995), p. 241-350
346   Chapter: NNIL, a study in intuitionistic propositional logic
A.P. Visser, J.F.A.K. van Benthem, D.H.J. de Jongh, G. Renardel de Lavalette in: Modal Logic and process Algebra, a bisimulation perspective (1995), p. 289-326
347   Chapter: A New World Underneath Standard Logic
J.F.A.K. van Benthem in: From Universal Morphisms to Megabytes: A Baayen Space Odyssey (1994), p. 179-186
348   Chapter: Dynamic Arrow Logic
J.F.A.K. van Benthem in: Logic and Information Flow (1994), p. 15-29
349   Chapter: General Dynamic Logic
J.F.A.K. van Benthem in: What is a Logical System? (1994), p. 107-139
350   Article: Logica in Veelvoud
J.F.A.K. van Benthem in: RADAR (1994), p. 364-373