31:
581:
586:
681:
200:, the main result being that all temporal operators are definable in terms of "since" and "until", provided that the underlying temporal structure is a continuous
691:
686:
627:
211:
245:
286:`From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory'.
516:
666:
701:
661:
620:
490:
253:
367:
676:
563:
613:
384:
696:
153:
125:
359:
De Leden Van de
Koninklijke Nederlandse Akademie Van Wetenschappen: Een Demografisch Perspectief: 1808 Tot 2008
274:
169:
92:
443:
328:
206:
419:
181:
656:
230:
333:
444:"Prof. Dr. h.c. Hans Kamp PhD | Institute for Natural Language Processing | University of Stuttgart"
405:
30:
285:
193:
185:
75:
651:
298:
234:
109:
357:
671:
392:
646:
177:
540:
8:
238:
97:
257:
173:
85:
494:
472:
363:
601:
323:
249:
226:
222:
318:
308:
597:
303:
640:
60:
476:
215:
580:
593:
201:
197:
149:
313:
261:
218:
113:
165:
52:
493:. Royal Netherlands Academy of Arts and Sciences. Archived from
585:
682:
Members of the Royal
Netherlands Academy of Arts and Sciences
420:"UT College of Liberal Arts: Faculty Profile Prof. Hans Kamp"
56:
355:
383:
Maier, Emar; Beaver, David I.; Geurts, Bart (2007-05-22).
356:
D. J. van de Kaa; Kaa; Y. de Roo (19 December 2008).
254:
Fellow of the
American Academy of Arts & Sciences
148:(born 5 September 1940) is a Dutch philosopher and
382:
638:
275:'A Theory of Truth and Semantic Representation'.
246:Royal Netherlands Academy of Arts and Sciences
692:Academic staff of the University of Stuttgart
621:
687:University of California, Los Angeles alumni
351:
349:
288:Dordrecht: Kluwer Academic Publishers, 1994.
362:. Amsterdam University Press. p. 297.
204:. Kamp's 1971 paper on "now" (published in
628:
614:
469:Tense logic and the theory of linear order
244:Kamp became a corresponding member of the
190:Tense Logic and the Theory of Linear Order
29:
346:
545:American Academy of Arts & Sciences
279:Formal Methods in the Study of Language
639:
281:. Amsterdam: Mathematics Center, 1981.
277:In J. Groenendijk and others (eds.).
575:
466:
256:in 2015. In 2024 he was awarded the
467:Kamp, Johan Anthony Willem (1968).
13:
221:. His doctoral committee included
14:
713:
385:"Discourse Representation Theory"
584:
579:
517:"Archives - INSTITUT JEAN NICOD"
667:20th-century Dutch philosophers
267:
154:discourse representation theory
126:Discourse representation theory
702:Dutch academic biography stubs
662:Linguists from the Netherlands
557:
533:
509:
483:
460:
436:
412:
376:
210:) was the first employment of
152:, responsible for introducing
16:Dutch philosopher and linguist
1:
339:
600:. You can help Knowledge by
329:Quantification (linguistics)
248:in 1997. He was awarded the
159:
7:
541:"Johan Anthony Willem Kamp"
292:
182:University of Texas, Austin
172:in 1968, and has taught at
10:
718:
677:Jean Nicod Prize laureates
574:
284:Kamp, Hans and Uwe Reyle.
252:in 1996 and was elected a
334:Two-dimensional semantics
168:. He received a Ph.D. in
131:
119:
103:
91:
81:
71:
67:
37:
28:
21:
448:www.ims.uni-stuttgart.de
697:European linguist stubs
194:functional completeness
186:University of Stuttgart
76:Contemporary philosophy
564:Rolf Schock Prize 2024
424:liberalarts.utexas.edu
400:Cite journal requires
299:Anaphora (linguistics)
235:Yiannis N. Moschovakis
192:(1968) was devoted to
110:Philosophy of language
521:www.institutnicod.org
188:. His dissertation,
178:University of London
170:Philosophy from UCLA
138:Johan Anthony Willem
239:Jordan Howard Sobel
98:Analytic philosophy
592:This article on a
497:on 31 January 2016
174:Cornell University
86:Western philosophy
657:People from Texel
609:
608:
369:978-90-6984-552-4
258:Rolf Schock Prize
164:Kamp was born in
135:
134:
709:
630:
623:
616:
588:
583:
576:
566:
561:
555:
554:
552:
551:
537:
531:
530:
528:
527:
513:
507:
506:
504:
502:
487:
481:
480:
464:
458:
457:
455:
454:
440:
434:
433:
431:
430:
416:
410:
409:
403:
398:
396:
388:
380:
374:
373:
353:
324:Montague grammar
250:Jean Nicod Prize
227:Chen Chung Chang
223:Richard Montague
48:
46:
41:5 September 1940
33:
19:
18:
717:
716:
712:
711:
710:
708:
707:
706:
637:
636:
635:
634:
572:
570:
569:
562:
558:
549:
547:
539:
538:
534:
525:
523:
515:
514:
510:
500:
498:
489:
488:
484:
465:
461:
452:
450:
442:
441:
437:
428:
426:
418:
417:
413:
401:
399:
390:
389:
381:
377:
370:
354:
347:
342:
319:Lambda calculus
309:Donkey sentence
295:
270:
216:model theoretic
212:double-indexing
202:linear ordering
162:
156:(DRT) in 1981.
122:
106:
63:
50:
44:
42:
24:
17:
12:
11:
5:
715:
705:
704:
699:
694:
689:
684:
679:
674:
669:
664:
659:
654:
649:
633:
632:
625:
618:
610:
607:
606:
596:linguist is a
589:
568:
567:
556:
532:
508:
482:
459:
435:
411:
402:|journal=
375:
368:
344:
343:
341:
338:
337:
336:
331:
326:
321:
316:
311:
306:
304:Donkey pronoun
301:
294:
291:
290:
289:
282:
269:
266:
161:
158:
133:
132:
129:
128:
123:
120:
117:
116:
107:
105:Main interests
104:
101:
100:
95:
89:
88:
83:
79:
78:
73:
69:
68:
65:
64:
51:
39:
35:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
714:
703:
700:
698:
695:
693:
690:
688:
685:
683:
680:
678:
675:
673:
670:
668:
665:
663:
660:
658:
655:
653:
652:Living people
650:
648:
645:
644:
642:
631:
626:
624:
619:
617:
612:
611:
605:
603:
599:
595:
590:
587:
582:
578:
577:
573:
565:
560:
546:
542:
536:
522:
518:
512:
496:
492:
491:"J.A.W. Kamp"
486:
478:
474:
470:
463:
449:
445:
439:
425:
421:
415:
407:
394:
386:
379:
371:
365:
361:
360:
352:
350:
345:
335:
332:
330:
327:
325:
322:
320:
317:
315:
312:
310:
307:
305:
302:
300:
297:
296:
287:
283:
280:
276:
272:
271:
265:
263:
260:jointly with
259:
255:
251:
247:
242:
240:
236:
232:
228:
225:as chairman,
224:
220:
217:
213:
209:
208:
203:
199:
195:
191:
187:
183:
179:
175:
171:
167:
157:
155:
151:
147:
143:
139:
130:
127:
124:
121:Notable ideas
118:
115:
111:
108:
102:
99:
96:
94:
90:
87:
84:
80:
77:
74:
70:
66:
62:
61:North Holland
58:
54:
49:(age 84)
40:
36:
32:
27:
20:
672:Semanticists
602:expanding it
591:
571:
559:
548:. Retrieved
544:
535:
524:. Retrieved
520:
511:
499:. Retrieved
495:the original
485:
468:
462:
451:. Retrieved
447:
438:
427:. Retrieved
423:
414:
393:cite journal
378:
358:
278:
273:Kamp, Hans.
268:Publications
243:
231:David Kaplan
205:
189:
163:
145:
141:
137:
136:
647:1940 births
198:tense logic
641:Categories
550:2019-03-20
526:2019-03-20
501:31 January
453:2019-03-20
429:2019-03-20
340:References
314:Irene Heim
262:Irene Heim
45:1940-09-05
219:semantics
160:Biography
114:semantics
23:Hans Kamp
477:26523229
293:See also
166:Den Burg
150:linguist
53:Den Burg
207:Theoria
43: (
475:
366:
237:, and
184:, and
93:School
82:Region
594:Dutch
57:Texel
598:stub
503:2016
473:OCLC
406:help
364:ISBN
146:Kamp
142:Hans
38:Born
214:in
196:in
72:Era
643::
543:.
519:.
471:.
446:.
422:.
397::
395:}}
391:{{
348:^
264:.
241:.
233:,
229:,
180:,
176:,
144:"
112:,
59:,
55:,
629:e
622:t
615:v
604:.
553:.
529:.
505:.
479:.
456:.
432:.
408:)
404:(
387:.
372:.
140:"
47:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.