Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Johan_van_Benthem_(logician)> ?p ?o. }
Showing items 1 to 74 of
74
with 100 items per page.
- Johan_van_Benthem_(logician) abstract "Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12, 1949, 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.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).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.".
- Johan_van_Benthem_(logician) birthDate "1949-06-12".
- Johan_van_Benthem_(logician) birthYear "1949".
- Johan_van_Benthem_(logician) viafId "94809147".
- Johan_van_Benthem_(logician) wikiPageExternalLink ~johan.
- Johan_van_Benthem_(logician) wikiPageID "1498176".
- Johan_van_Benthem_(logician) wikiPageRevisionID "599558510".
- Johan_van_Benthem_(logician) dateOfBirth "1949-06-12".
- Johan_van_Benthem_(logician) hasPhotoCollection Johan_van_Benthem_(logician).
- Johan_van_Benthem_(logician) name "Benthem, Johan van".
- Johan_van_Benthem_(logician) shortDescription "Dutch philosopher".
- Johan_van_Benthem_(logician) description "Dutch philosopher".
- Johan_van_Benthem_(logician) description "Dutch philosopher".
- 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:People_from_Rijswijk.
- 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) type 20th-centuryMathematicians.
- Johan_van_Benthem_(logician) type CausalAgent100007347.
- Johan_van_Benthem_(logician) type DutchPhilosophers.
- Johan_van_Benthem_(logician) type Expert109617867.
- Johan_van_Benthem_(logician) type Intellectual109621545.
- Johan_van_Benthem_(logician) type LivingPeople.
- Johan_van_Benthem_(logician) type LivingThing100004258.
- Johan_van_Benthem_(logician) type Logician110269785.
- Johan_van_Benthem_(logician) type Logicians.
- Johan_van_Benthem_(logician) type Mathematician110301261.
- Johan_van_Benthem_(logician) type Object100002684.
- Johan_van_Benthem_(logician) type Organism100004475.
- Johan_van_Benthem_(logician) type PeopleFromRijswijk.
- Johan_van_Benthem_(logician) type Person100007846.
- Johan_van_Benthem_(logician) type Philosopher110423589.
- Johan_van_Benthem_(logician) type PhysicalEntity100001930.
- Johan_van_Benthem_(logician) type Scholar110557854.
- Johan_van_Benthem_(logician) type Scientist110560637.
- Johan_van_Benthem_(logician) type Whole100003553.
- Johan_van_Benthem_(logician) type YagoLegalActor.
- Johan_van_Benthem_(logician) type YagoLegalActorGeo.
- Johan_van_Benthem_(logician) type Agent.
- Johan_van_Benthem_(logician) type Person.
- Johan_van_Benthem_(logician) type Person.
- Johan_van_Benthem_(logician) type Q215627.
- Johan_van_Benthem_(logician) type Q5.
- Johan_van_Benthem_(logician) type Agent.
- Johan_van_Benthem_(logician) type NaturalPerson.
- Johan_van_Benthem_(logician) type Thing.
- Johan_van_Benthem_(logician) type Person.
- Johan_van_Benthem_(logician) comment "Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12, 1949, 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.He studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc.".
- Johan_van_Benthem_(logician) label "Johan van Benthem (logician)".
- Johan_van_Benthem_(logician) label "Johan van Benthem".
- Johan_van_Benthem_(logician) label "Johan van Benthem".
- Johan_van_Benthem_(logician) label "Johan van Benthem".
- Johan_van_Benthem_(logician) sameAs Johan_van_Benthem.
- Johan_van_Benthem_(logician) sameAs Johan_van_Benthem.
- Johan_van_Benthem_(logician) sameAs Johan_van_Benthem.
- Johan_van_Benthem_(logician) sameAs m.0562b1.
- Johan_van_Benthem_(logician) sameAs Q1692111.
- Johan_van_Benthem_(logician) sameAs Q1692111.
- Johan_van_Benthem_(logician) sameAs Johan_van_Benthem_(logician).
- Johan_van_Benthem_(logician) wasDerivedFrom Johan_van_Benthem_(logician)?oldid=599558510.
- Johan_van_Benthem_(logician) givenName "Johan van".
- Johan_van_Benthem_(logician) isPrimaryTopicOf Johan_van_Benthem_(logician).
- Johan_van_Benthem_(logician) name "Benthem, Johan van".
- Johan_van_Benthem_(logician) name "Johan van Benthem".
- Johan_van_Benthem_(logician) surname "Benthem".