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

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the capital and most populous city of the Netherlands, with The Hague being the seat of government. It has a population of 907,976 within the city proper, 1,558,755 in the urban ar ...

) is a Dutch

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

ian and computer scientist known for her work on

interpretability logic Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability ...

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, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

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 The University of Groningen (abbreviated as UG; nl, Rijksuniversiteit Groningen, abbreviated as RUG) is a public research university of more than 30,000 students in the city of Groningen in the Netherlands. Founded in 1614, the university is 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 fellow of the Royal Netherlands Academy of Arts and Sciences (KNAW). Verbrugge is an associate editor of the ''

Journal of Logic, Language and Information The ''Journal of Logic, Language and Information'' is a quarterly peer-reviewed academic journal covering research on "natural, formal, and programming languages". It is the official journal of the European Association for Logic, Language and Infor ...

''.

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 reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

'' 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 ''Fundamenta Informaticae'' is a peer-reviewed scientific journal covering computer science. The editor-in-chief is Damian Niwiński. It was established in 1977 by the Polish Mathematical Society as Series IV of the '' Annales Societatis Mathemati ...

'' 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", ''

'' 17 no. 4 (2008): 417–442. * Rineke Verbrugge, "Logic and social cognition," ''

Journal of Philosophical Logic The ''Journal of Philosophical Logic'' is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff (Utrecht ...

'' 38, no. 6 (2009): 649–680. * Rineke Verbrugge, "Provability Logic", '' Stanford Encyclopedia of Philosophy'' (Fall 2017 Edition), Edward N. Zalta (ed.), URL = .

References

{{DEFAULTSORT:Verbrugge, Rineke Living people Dutch logicians Women logicians Place of birth missing (living people) 20th-century Dutch women 21st-century Dutch women 1965 births