Search results

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

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

341		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
342		Chapter: Quantifiers in the World of Types J.F.A.K. van Benthem in: Quantifiers, Logic Language, CSLI Lecture Notes (1995), p. 45-60
343		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)
344		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
345		Chapter: NNIL, a study in intuitionistic propositional logic A.PH. 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
346		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
347		Chapter: Dynamic Arrow Logic J.F.A.K. van Benthem in: Logic and Information Flow (1994), p. 15-29
348		Chapter: General Dynamic Logic J.F.A.K. van Benthem in: What is a Logical System? (1994), p. 107-139
349		Article: Logica in Veelvoud J.F.A.K. van Benthem in: RADAR (1994), p. 364-373
350		Article: Modal Logic, Transition Systems and Processes J.F.A.K. van Benthem, J. van Eyck, V. Stebletsova in: Journal of Logic and Computation, Vol. 4 (1994), p. 811-855

• 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.