Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Johan_van_Benthem_(logician)> ?p ?o }
- Johan_van_Benthem_(logician) abstract "Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12, 1949 in Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015.He studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003).In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences.Van Benthem is known for his research in the area of modal logic. This research has resulted in Van Benthem's Theorem, which states that modal logic is the fragment of first-order logic that is closed under bisimulation.He has also been active in the fields of philosophy of science, logical structures in natural language (generalized quantifiers, categorial grammar, substructural proof theory), dynamic logic and update logic and applications of logic to game theory as well as applications of game theory to logic (game semantics). Van Benthem is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. He has also taught in China. He made an effort to encourage and organize international collaboration between Chinese and Western logicians.Professor van Benthem retired from the Institute for Logic, Language and Computation in September 2014.".
- Johan_van_Benthem_(logician) wikiPageExternalLink ~johan.
- Johan_van_Benthem_(logician) wikiPageID "1498176".
- Johan_van_Benthem_(logician) wikiPageLength "3765".
- Johan_van_Benthem_(logician) wikiPageOutDegree "60".
- Johan_van_Benthem_(logician) wikiPageRevisionID "704642014".
- Johan_van_Benthem_(logician) wikiPageWikiLink Alice_ter_Meulen.
- Johan_van_Benthem_(logician) wikiPageWikiLink American_Academy_of_Arts_and_Sciences.
- Johan_van_Benthem_(logician) wikiPageWikiLink Bachelor_of_Science.
- Johan_van_Benthem_(logician) wikiPageWikiLink Bisimulation.
- Johan_van_Benthem_(logician) wikiPageWikiLink Categorial_grammar.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:1949_births.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:20th-century_mathematicians.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:20th-century_philosophers.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Dutch_logicians.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Dutch_philosophers.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Living_people.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Logicians.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:People_from_Rijswijk.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Spinoza_Prize_winners.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Stanford_University_Department_of_Philosophy_faculty.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:Tarski_lecturers.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:University_of_Amsterdam_alumni.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:University_of_Amsterdam_faculty.
- Johan_van_Benthem_(logician) wikiPageWikiLink Category:University_of_Groningen_faculty.
- Johan_van_Benthem_(logician) wikiPageWikiLink Closure_(mathematics).
- Johan_van_Benthem_(logician) wikiPageWikiLink Doctor_of_Philosophy.
- Johan_van_Benthem_(logician) wikiPageWikiLink Dynamic_logic_(modal_logic).
- Johan_van_Benthem_(logician) wikiPageWikiLink Elsevier.
- Johan_van_Benthem_(logician) wikiPageWikiLink First-order_logic.
- Johan_van_Benthem_(logician) wikiPageWikiLink Game_semantics.
- Johan_van_Benthem_(logician) wikiPageWikiLink Game_theory.
- Johan_van_Benthem_(logician) wikiPageWikiLink Generalized_quantifier.
- Johan_van_Benthem_(logician) wikiPageWikiLink Institute_for_Logic,_Language_and_Computation.
- Johan_van_Benthem_(logician) wikiPageWikiLink L._T._F._Gamut.
- Johan_van_Benthem_(logician) wikiPageWikiLink Logic.
- Johan_van_Benthem_(logician) wikiPageWikiLink MIT_Press.
- Johan_van_Benthem_(logician) wikiPageWikiLink Martin_Löb.
- Johan_van_Benthem_(logician) wikiPageWikiLink Master_of_Arts.
- Johan_van_Benthem_(logician) wikiPageWikiLink Master_of_Science.
- Johan_van_Benthem_(logician) wikiPageWikiLink Mathematics.
- Johan_van_Benthem_(logician) wikiPageWikiLink Modal_logic.
- Johan_van_Benthem_(logician) wikiPageWikiLink Patrick_Blackburn.
- Johan_van_Benthem_(logician) wikiPageWikiLink Philosophy.
- Johan_van_Benthem_(logician) wikiPageWikiLink Philosophy_of_science.
- Johan_van_Benthem_(logician) wikiPageWikiLink Physics.
- Johan_van_Benthem_(logician) wikiPageWikiLink Professor.
- Johan_van_Benthem_(logician) wikiPageWikiLink Proof_theory.
- Johan_van_Benthem_(logician) wikiPageWikiLink Pseudonym.
- Johan_van_Benthem_(logician) wikiPageWikiLink Rijswijk.
- Johan_van_Benthem_(logician) wikiPageWikiLink Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Johan_van_Benthem_(logician) wikiPageWikiLink Spinoza_Prize.
- Johan_van_Benthem_(logician) wikiPageWikiLink Stanford_University.
- Johan_van_Benthem_(logician) wikiPageWikiLink Stanford_University_centers_and_institutes.
- Johan_van_Benthem_(logician) wikiPageWikiLink Universiteitshoogleraar.
- Johan_van_Benthem_(logician) wikiPageWikiLink University_of_Amsterdam.
- Johan_van_Benthem_(logician) wikiPageWikiLink University_of_Groningen.
- Johan_van_Benthem_(logician) wikiPageWikiLink Update_logic.
- Johan_van_Benthem_(logician) wikiPageWikiLink Van_Benthems_Theorem.
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "J.F.A.K. van Benthem".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "Johan Van Benthem".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "Johan van Benthem (logician)".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "Johan van Benthem".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "Van Benthem".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "Van Benthem's theorem".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "van Benthem, J.".
- Johan_van_Benthem_(logician) wikiPageWikiLinkText "van Benthem, Johan".
- Johan_van_Benthem_(logician) wikiPageUsesTemplate Template:Authority_control.
- Johan_van_Benthem_(logician) wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Johan_van_Benthem_(logician) wikiPageUsesTemplate Template:Netherlands-philosopher-stub.
- Johan_van_Benthem_(logician) wikiPageUsesTemplate Template:Netherlands-scientist-stub.
- Johan_van_Benthem_(logician) wikiPageUsesTemplate Template:Reflist.
- Johan_van_Benthem_(logician) subject Category:1949_births.
- Johan_van_Benthem_(logician) subject Category:20th-century_mathematicians.
- Johan_van_Benthem_(logician) subject Category:20th-century_philosophers.
- Johan_van_Benthem_(logician) subject Category:Dutch_logicians.
- Johan_van_Benthem_(logician) subject Category:Dutch_philosophers.
- Johan_van_Benthem_(logician) subject Category:Living_people.
- Johan_van_Benthem_(logician) subject Category:Logicians.
- Johan_van_Benthem_(logician) subject Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Johan_van_Benthem_(logician) subject Category:People_from_Rijswijk.
- Johan_van_Benthem_(logician) subject Category:Spinoza_Prize_winners.
- Johan_van_Benthem_(logician) subject Category:Stanford_University_Department_of_Philosophy_faculty.
- Johan_van_Benthem_(logician) subject Category:Tarski_lecturers.
- Johan_van_Benthem_(logician) subject Category:University_of_Amsterdam_alumni.
- Johan_van_Benthem_(logician) subject Category:University_of_Amsterdam_faculty.
- Johan_van_Benthem_(logician) subject Category:University_of_Groningen_faculty.
- Johan_van_Benthem_(logician) hypernym Professor.
- Johan_van_Benthem_(logician) type List.
- Johan_van_Benthem_(logician) type Person.
- Johan_van_Benthem_(logician) type Philosopher.
- Johan_van_Benthem_(logician) type Scientist.
- Johan_van_Benthem_(logician) type Writer.
- Johan_van_Benthem_(logician) type List.
- Johan_van_Benthem_(logician) type Mathematician.
- Johan_van_Benthem_(logician) type Philosopher.
- Johan_van_Benthem_(logician) type Scholar.
- Johan_van_Benthem_(logician) type Scientist.
- Johan_van_Benthem_(logician) type Writer.