Laurina Christina (Rineke) Verbrugge (born 12 March 1965 in

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

) is a Dutch

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

ian and

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

known for her work on interpretability logic and

provability logic Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. Examples ...

. She completed her PhD at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

in 1993 under the supervision of

Dick de Jongh Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam. He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervi ...

, Anne Troelstra, and Albert Visser. She holds the chair of Logic and Cognition at the

University of Groningen The University of Groningen (abbreviated as UG; , abbreviated as RUG) is a Public university#Continental Europe, public research university of more than 30,000 students in the city of Groningen (city), Groningen, Netherlands. Founded in 1614, th ...

'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 member of the

Royal Netherlands Academy of Arts and Sciences The Royal Netherlands Academy of Arts and Sciences (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory a ...

(KNAW). Verbrugge is an associate editor of the '' Journal of Logic, Language and Information''.

Selected publications

* Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Agent theory for team formation by dialogue" ''International Workshop on Agent Theories, Architectures'', and Languages (2000: 150–166. * Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Creating collective intention through dialogue," ''

Logic Journal of the IGPL Logic is the study of correct Logical reasoning, reasoning. It includes both Logic#Formal logic, formal and informal logic. Formal logic is the study of Validity (logic), deductively valid inferences or logical truths. It examines how conclu ...

'' 9 no. 2 (2001): 289–304. * Barbara Dunin-Keplicz, Rineke Verbrugge,
Teamwork in multi-agent systems: A formal approach
(Wiley 2011) * Barbara Dunin-Keplicz, Rineke Verbrugge, "Collective intentions", '' Fundamenta Informaticae'' 51 no. 3 (2002): 271–295. * Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer, "Children's application of theory of mind in reasoning and language", '' Journal of Logic, Language and Information'' 17 no. 4 (2008): 417–442. * Rineke Verbrugge, "Logic and social cognition," '' Journal of Philosophical Logic'' 38, no. 6 (2009): 649–680. * Rineke Verbrugge, "Provability Logic", ''

Stanford Encyclopedia of Philosophy The ''Stanford Encyclopedia of Philosophy'' (''SEP'') is a freely available online philosophy resource published and maintained by Stanford University, encompassing both an online encyclopedia of philosophy and peer-reviewed original publication ...

'' (Fall 2017 Edition), Edward N. Zalta (ed.), URL = .

References

{{DEFAULTSORT:Verbrugge, Rineke 1965 births Living people 20th-century Dutch women 21st-century Dutch women Academic staff of the University of Groningen Dutch logicians Members of the Royal Netherlands Academy of Arts and Sciences Place of birth missing (living people) University of Amsterdam alumni Women logicians