About: Rineke Verbrugge

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Rineke Verbrugge Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRineke_Verbrugge&invfp=IFP_OFF&sas=SAME_AS_OFF

Laurina Christina (Rineke) Verbrugge (born 12 March 1965 in Amsterdam) is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Rineke Verbrugge (nl) Rineke Verbrugge (en)
rdfs:comment	Rineke Verbrugge (Amsterdam, 12 maart 1965) is een Nederlands wiskundige. Zij is hoogleraar in logica en cognitie aan de Rijksuniversiteit Groningen. (nl) Laurina Christina (Rineke) Verbrugge (born 12 March 1965 in Amsterdam) is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser. (en)
foaf:name	Rineke Verbrugge (en)
name	Rineke Verbrugge (en)
birth place	Amsterdam
birth place	Amsterdam
birth date	1965-03-12 (xsd:date)
dcterms:subject	Living people Place of birth missing (living people) 1965 births 20th-century Dutch women 21st-century Dutch women Dutch logicians Women logicians
Wikipage page ID	71598036 (xsd:integer)
Wikipage revision ID	1123127542 (xsd:integer)
Link from a Wikipage to another Wikipage	Royal Netherlands Academy of Arts and Sciences University of Amsterdam University of Groningen Interpretability logic Living people Place of birth missing (living people) Mathematics Anne Sjerp Troelstra Logic Stanford Encyclopedia of Philosophy Computer science Fundamenta Informaticae Amsterdam 1965 births Dick de Jongh Journal of Logic, Language and Information Journal of Philosophical Logic Artificial Intelligence 20th-century Dutch women 21st-century Dutch women Dutch logicians Women logicians Provability logic Netherlands dbr:Logic_Journal_of_the_IGPL
Link from a Wikipage to an external page	https://www.wiley.com/en-gb/Teamwork+in+Multi+Agent+Systems:+A+Formal+Approach-p-9780470699881 https://plato.stanford.edu/archives/fall2017/entries/logic-provability/%3E.
sameAs	Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge Rineke Verbrugge
thesis title	Efficient Meta-Mathematics (en)
thesis year	1993 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Third-party dbt:Birth_date_and_age dbt:Infobox_scientist
alma mater	University of Amsterdam
birth date	1965-03-12 (xsd:date)
citizenship	Netherlands
field	Mathematics Logic Artificial Intelligence
has abstract	Laurina Christina (Rineke) Verbrugge (born 12 March 1965 in Amsterdam) is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser. She holds the chair of Logic and Cognition at the University of Groningen's Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, where she has been the leader of the Multi-Agent Systems working group since 2002. She is particularly known for her work connecting formal logic to cognition and developmental psychology and the role of logic in explaining social behaviour. From 2005 to 2021, she was the President (voorzitter) of the Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL; Dutch Association for Logic and Philosophy of the Exact Sciences). In 2021, she was elected a fellow of the Royal Netherlands Academy of Arts and Sciences (KNAW).Verbrugge is an associate editor of the Journal of Logic, Language and Information. (en) Rineke Verbrugge (Amsterdam, 12 maart 1965) is een Nederlands wiskundige. Zij is hoogleraar in logica en cognitie aan de Rijksuniversiteit Groningen. (nl)
doctoral advisor	Dick de Jongh, Anne Troelstra, Albert Visser (en)
citizenship	Netherlands
doctoral advisor	Anne Sjerp Troelstra Dick de Jongh
prov:wasDerivedFrom	wikipedia-en:Rineke_Verbrugge?oldid=1123127542&ns=0
page length (characters) of wiki page	4785 (xsd:nonNegativeInteger)
academic discipline	Mathematics Logic Artificial Intelligence
alma mater	University of Amsterdam
foaf:isPrimaryTopicOf	wikipedia-en:Rineke_Verbrugge
is Link from a Wikipage to another Wikipage of	Modal logic Interpretability logic Provability logic Verbruggen
is foaf:primaryTopic of	wikipedia-en:Rineke_Verbrugge

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software