This HTML5 document contains 278 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n33https://dblp.org/pid/b/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n35https://dblp.org/pid/89/
foafhttp://xmlns.com/foaf/0.1/
n6https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n25https://orcid.org/
n11http://arz.dbpedia.org/resource/
n32http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n22http://viaf.org/viaf/
n16http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n30https://web.stanford.edu/group/cslipublications/cslipublications/site/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
n20http://staff.science.uva.nl/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n21http://data.bibliotheken.nl/id/thes/
n8http://d-nb.info/gnd/

Statements

Subject Item
dbr:Epistemic_modal_logic
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Modal_logic
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Montague_grammar
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(B)
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Alice_ter_Meulen
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:List_of_philosophers_born_in_the_20th_century
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Rijswijk
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Dynamic_semantics
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:L._T._F._Gamut
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:List_of_logicians
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Johan_van_Benthem
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbo:wikiPageDisambiguates
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Spinoza_Prize
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Game_semantics
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Lindström's_theorem
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:List_of_American_Academy_of_Arts_and_Sciences_members_(2006–2019)
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Barbara_Forrest
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Dialogical_logic
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Edith_Hemaspaandra
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Maarten_de_Rijke
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Association_for_Logic,_Language_and_Information
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Jeroen_Groenendijk
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbp:doctoralAdvisor
dbr:Johan_van_Benthem_(logician)
dbo:doctoralAdvisor
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Johan_van_Benthem_(logician)
rdf:type
yago:Lector110252222 yago:Scientist110560637 yago:Object100002684 wikidata:Q901 wikidata:Q19088 yago:WikicatDutchPhilosophers yago:WikicatPeopleFromRijswijk dbo:Eukaryote wikidata:Q215627 yago:WikicatDutchLogicians yago:YagoLegalActor yago:YagoLegalActorGeo dbo:Animal wikidata:Q5 yago:CausalAgent100007347 schema:Person wikidata:Q729 yago:Adult109605289 yago:Educator110045713 dbo:Scientist yago:Wikicat20th-centuryMathematicians yago:Logician110269785 dbo:Species yago:WikicatDutchPeople yago:WikicatLivingPeople dbo:Person yago:WikicatTarskiLecturers yago:Professional110480253 n32:NaturalPerson yago:Organism100004475 foaf:Person yago:PhysicalEntity100001930 yago:Mathematician110301261 owl:Thing yago:LivingThing100004258 yago:Wikicat20th-centuryPhilosophers yago:Scholar110557854 yago:Expert109617867 yago:WikicatLogicians yago:Person100007846 yago:Whole100003553 yago:Intellectual109621545 yago:Philosopher110423589
rdfs:label
L.T.F. Gamut Johannes van Benthem L. T. F. Gamut Johan van Benthem Henk Verkuyl Johan van Benthem (logician) ヨハン・ファン・ベンタム Johan van Benthem Dick de Jongh Johan van Benthem Martin Stokhof
rdfs:comment
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム(Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - )は、オランダの論理学者。アムステルダム大学論理言語計算研究所論理学専攻卓越教授(universiteitshoogleraar)、スタンフォード大学言語情報研究センター教授。1996年、スピノザ賞受賞。 Henk J. Verkuyl (4 juni 1938) is een Nederlandse hoogleraar. Hij is emeritus hoogleraar taalkunde van de Universiteit Utrecht. Zijn voornaamste bijdragen zijn in het veld van de aspectuele semantiek. Daarnaast heeft hij ook veel onderzoek verricht op het gebied van de lexicografie en de lexicale semantiek. Verkuyl is nog altijd actief in de taalkunde met de publicatie van bijdragen in het veld van semantisch onderzoek. Martin Johan Bastiaan Stokhof (Amsterdam, 18 november 1950) is een Nederlandse taalfilosoof, verbonden aan de Universiteit van Amsterdam. L. T. F. Gamut war ein Sammelpseudonym für die niederländischen Logiker Johan van Benthem, , , und . Die Initialen L. T. F. stehen für die Themen, über die das Kollektiv veröffentlichte, nämlich Logik (niederländisch logica), Sprache (taal) und Philosophie (filosofie). Gamut steht für die Universitäten von Groningen, Amsterdam und Utrecht, denen die Autoren angehörten. Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. L. T. F. Gamut is een collectief van de Nederlandse logici Johan van Benthem, , , Martin Stokhof en Henk Verkuyl. Logica, taal en betekenis is een van de meest gerespecteerde en veelgebruikte academische handboeken over formele logica. De afkorting Gamut staat voor: Groningen, Amsterdam, Utrecht, de steden waar deze logici universitair aan verbonden waren of zijn. De letters L.T.F. staan voor de disciplines Logica, Taal en Filosofie die in dit handboek aan de orde komen. Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford. Recebeu em 1996 o Prêmio Spinoza. Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo . Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 juni 1949) is een Nederlands logicus en hoogleraar logica aan de Universiteit van Amsterdam, de Stanford-universiteit en eerder aan de Rijksuniversiteit Groningen. Van Benthem is vooral bekend om zijn werk op het gebied van de modale logica, de formele taalkunde, met name de categoriale grammatica.Hij werd in 1992 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen, KNAW. In 1996 won hij de Spinozaprijs, waarvan hij een groot deel van de premie heeft gebruikt voor het in het leven roepen van een stichting voor de promotie van de logica.Ook is hij een van de oprichters van Institute for Logic, Language and Computation (ILLC), eveneens in Amsterdam. Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor 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.
foaf:name
Johan van Benthem
dbp:name
Johan van Benthem
foaf:depiction
n16:Johan_van_Benthem_(1996).jpg
dbo:birthDate
1949-06-12
dcterms:subject
dbc:University_of_Groningen_faculty dbc:Spinoza_Prize_winners dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:Living_people dbc:Dutch_logicians dbc:Logicians dbc:Tarski_lecturers dbc:1949_births dbc:20th-century_Dutch_philosophers dbc:University_of_Amsterdam_faculty dbc:Stanford_University_Department_of_Philosophy_faculty dbc:People_from_Rijswijk dbc:University_of_Amsterdam_alumni dbc:20th-century_Dutch_mathematicians
dbo:wikiPageID
1498176
dbo:wikiPageRevisionID
1110643913
dbo:wikiPageWikiLink
dbc:20th-century_Dutch_mathematicians dbc:University_of_Groningen_faculty dbr:Maarten_de_Rijke dbr:University_of_Groningen dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbr:American_Academy_of_Arts_&_Sciences dbr:Edith_Hemaspaandra dbc:Spinoza_Prize_winners dbr:Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:Living_people dbr:Philosophy dbc:Dutch_logicians dbr:Update_logic dbr:Mathematics dbr:Michiel_van_Lambalgen dbr:Alice_ter_Meulen dbr:Stanford_University dbr:Van_Benthem's_theorem dbc:Tarski_lecturers dbc:Logicians dbr:Rijswijk dbc:20th-century_Dutch_philosophers dbr:Institute_for_Logic,_Language_and_Computation dbc:1949_births dbr:Physics dbr:MIT_Press dbr:Modal_logic dbr:Categorial_grammar dbr:Center_for_the_Study_of_Language_and_Information dbc:University_of_Amsterdam_faculty dbc:Stanford_University_Department_of_Philosophy_faculty dbr:Doctor_of_Philosophy dbr:Martin_Löb dbr:Dynamic_logic_(modal_logic) dbr:Bachelor_of_Science dbr:Master_of_Arts dbr:Pseudonym dbr:Elsevier dbr:Jeroen_Groenendijk dbr:Logic dbr:Generalized_quantifier dbr:Game_theory dbr:L._T._F._Gamut dbc:People_from_Rijswijk dbr:Professor dbr:Substructural_logic dbc:University_of_Amsterdam_alumni dbr:Bisimulation dbr:Patrick_Blackburn dbr:University_of_Amsterdam dbr:Spinozapremie dbr:Game_semantics dbr:Master_of_Science dbr:Philosophy_of_science dbr:Proof_theory dbr:First-order_logic dbr:Martin_Stokhof
dbo:wikiPageExternalLink
n20:~johan n30:9781575865980.shtml
owl:sameAs
n6:enyb n8:160511305 n11:چيروين_انتونيوس_جيراردوس_جروينينديچك dbpedia-nl:L.T.F._Gamut n8:1089324251 wikidata:Q2617451 wikidata:Q5273594 n21:p072176709 n22:94809147 n11:مارتن_ستوكوف n8:124543367 dbpedia-nl:Henk_Verkuyl dbpedia-ja:ヨハン・ファン・ベンタム n8:172106621 n25:0000-0002-7048-785X dbpedia-fa:یوهان_فن_بنتم wikidata:Q6182464 n8:1089955413 n8:172433061 n8:1090358792 n8:124543324 n22:12329961 n8:124543286 dbpedia-it:Johannes_van_Benthem freebase:m.0562b1 n8:1090254024 wikidata:Q2189050 n21:p074673742 n21:p074831003 wikidata:Q1692111 n8:124543383 n8:124543413 n8:124543448 n22:93446181 yago-res:Johan_van_Benthem_(logician) n22:17266567 n22:41513031 n21:p068151667 n22:93464040 wikidata:Q2489611 n21:p067852645 dbpedia-nl:Martin_Stokhof n8:187398550 dbpedia-nl:Johan_van_Benthem n21:p068711654 n21:p068401965 n33:JvBenthem dbpedia-de:L._T._F._Gamut n35:1830 dbpedia-de:Johan_van_Benthem dbpedia-it:Dick_de_Jongh n8:154232831 dbpedia-pt:Johan_van_Benthem n22:69008386
dbp:wikiPageUsesTemplate
dbt:Commonscatinline dbt:Ill dbt:Infobox_officeholder dbt:Short_description dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Authority_control dbt:Reflist
dbo:thumbnail
n16:Johan_van_Benthem_(1996).jpg?width=300
dbp:almaMater
dbr:University_of_Amsterdam
dbp:birthDate
1949-06-12
dbo:abstract
Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. Martin Johan Bastiaan Stokhof (Amsterdam, 18 november 1950) is een Nederlandse taalfilosoof, verbonden aan de Universiteit van Amsterdam. Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor 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. Henk J. Verkuyl (4 juni 1938) is een Nederlandse hoogleraar. Hij is emeritus hoogleraar taalkunde van de Universiteit Utrecht. Zijn voornaamste bijdragen zijn in het veld van de aspectuele semantiek. Daarnaast heeft hij ook veel onderzoek verricht op het gebied van de lexicografie en de lexicale semantiek. Verkuyl is nog altijd actief in de taalkunde met de publicatie van bijdragen in het veld van semantisch onderzoek. L. T. F. Gamut war ein Sammelpseudonym für die niederländischen Logiker Johan van Benthem, , , und . Die Initialen L. T. F. stehen für die Themen, über die das Kollektiv veröffentlichte, nämlich Logik (niederländisch logica), Sprache (taal) und Philosophie (filosofie). Gamut steht für die Universitäten von Groningen, Amsterdam und Utrecht, denen die Autoren angehörten. Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 juni 1949) is een Nederlands logicus en hoogleraar logica aan de Universiteit van Amsterdam, de Stanford-universiteit en eerder aan de Rijksuniversiteit Groningen. Van Benthem is vooral bekend om zijn werk op het gebied van de modale logica, de formele taalkunde, met name de categoriale grammatica.Hij werd in 1992 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen, KNAW. In 1996 won hij de Spinozaprijs, waarvan hij een groot deel van de premie heeft gebruikt voor het in het leven roepen van een stichting voor de promotie van de logica.Ook is hij een van de oprichters van Institute for Logic, Language and Computation (ILLC), eveneens in Amsterdam. Van Benthem is internationaal bekend door zijn onderzoek op het gebied van de logica en hoe deze discipline ook wordt toegepast in de taalkunde, filosofie en de cognitiewetenschap. Hij heeft tien boeken en ruim 170 tijdschriftartikelen op zijn naam staan. Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford. Recebeu em 1996 o Prêmio Spinoza. Estudou física (B.Sc. 1969), filosofia (M.A. 1972) e matemática (M.Sc. 1973) na Universidade de Amsterdã, onde obteve um doutorado em 1977, orientado por Martin Hugo Löb. Antes de tornar-se professor em 2003, lecionou na Universidade de Amsterdã (1973–1977), na Universidade de Groningen (1977–1986), e novamente na Universidade de Amsterdã (1986–2003), desta vez como professor. Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo . L. T. F. Gamut is een collectief van de Nederlandse logici Johan van Benthem, , , Martin Stokhof en Henk Verkuyl. Logica, taal en betekenis is een van de meest gerespecteerde en veelgebruikte academische handboeken over formele logica. De afkorting Gamut staat voor: Groningen, Amsterdam, Utrecht, de steden waar deze logici universitair aan verbonden waren of zijn. De letters L.T.F. staan voor de disciplines Logica, Taal en Filosofie die in dit handboek aan de orde komen. ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム(Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - )は、オランダの論理学者。アムステルダム大学論理言語計算研究所論理学専攻卓越教授(universiteitshoogleraar)、スタンフォード大学言語情報研究センター教授。1996年、スピノザ賞受賞。
dbp:academicAdvisors
Martin Löb, Steven K. Thomason
dbp:doctoralStudents
dbr:Jeroen_Groenendijk dbr:Michiel_van_Lambalgen dbr:Edith_Hemaspaandra dbr:Maarten_de_Rijke dbr:Martin_Stokhof
dbo:academicAdvisor
dbr:Martin_Löb
dbo:doctoralStudent
dbr:Michiel_van_Lambalgen dbr:Jeroen_Groenendijk dbr:Edith_Hemaspaandra dbr:Martin_Stokhof dbr:Maarten_de_Rijke
gold:hypernym
dbr:Professor
schema:sameAs
n22:94809147
prov:wasDerivedFrom
wikipedia-en:Johan_van_Benthem_(logician)?oldid=1110643913&ns=0
dbo:wikiPageLength
5219
dbo:almaMater
dbr:University_of_Amsterdam
foaf:isPrimaryTopicOf
wikipedia-en:Johan_van_Benthem_(logician)
Subject Item
dbr:Bisimulation
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Martin_Löb
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbp:doctoralStudents
dbr:Johan_van_Benthem_(logician)
dbo:doctoralStudent
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Martin_Stokhof
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbp:doctoralAdvisor
dbr:Johan_van_Benthem_(logician)
dbo:doctoralAdvisor
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Guarded_logic
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Institute_for_Logic,_Language_and_Computation
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Van_Benthem
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbo:wikiPageDisambiguates
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Standard_translation
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Tarski_Lectures
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Johannes_Franciscus_Abraham_Karel_Van_Benthem
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbo:wikiPageRedirects
dbr:Johan_van_Benthem_(logician)
Subject Item
dbr:Johannes_Franciscus_Abraham_Karel_van_Benthem
dbo:wikiPageWikiLink
dbr:Johan_van_Benthem_(logician)
dbo:wikiPageRedirects
dbr:Johan_van_Benthem_(logician)
Subject Item
wikipedia-en:Johan_van_Benthem_(logician)
foaf:primaryTopic
dbr:Johan_van_Benthem_(logician)