Advanced search    

Search: authors:"Rineke Verbrugge"

12 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Studying strategies and types of players: experiments, logics and cognitive models

the Netherlands Organization for Scientific Research for Vici Grant NWO-277-80-01, awarded to Rineke Verbrugge. Open Access This article is distributed under the terms of the Creative Commons

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information

the Netherlands Organisation for Scientific Research (NWO) Vici grant NWO 277-80-001, awarded to Rineke Verbrugge for the project ‘Cognitive systems in interaction: Logical and computational models of

The Evolution of Different Forms of Sociality: Behavioral Mechanisms and Eco-Evolutionary Feedback

particular forms of sociality. - Funding: This research was funded by the Netherlands Organization for Scientific Research ( Vici grant NWO-277-80-001 awarded to Rineke Verbrugge (in

Strategic Reasoning: Building Cognitive Models from Logical Formulas

Sujata Ghosh Ben Meijering Rineke Verbrugge This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive

What Eye Movements Can Tell about Theory of Mind in a Strategic Game

Verbrugge 0 Frank Krueger, George Mason University/Krasnow Institute for Advanced Study, United States of America 0 1 Department of Artificial Intelligence, University of Groningen , Groningen , The

Intermediate Logics and the de Jongh property

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Corvid Re-Caching without ‘Theory of Mind’: A Model

Organisation for Scientific Research,, through TopTalent Grant 021.001.089 awarded to Elske van der Vaart, and Vici Grant 277-80-001 awarded to Rineke Verbrugge. The funders had no role in study

Learning to Apply Theory of Mind

Rineke Verbrugge 0 Lisette Mol 0 0 L. Mol Department of Humanities, Communication and Cognition, Tilburg University , Warandelaan 2, 5037 AB Tilburg, The Netherlands In everyday life it is often ... of (Mol et al. 2005). Furthermore, Rineke Verbrugge gratefully acknowledges the NIAS (Netherlands Institute for Advanced Studies in the Humanities and Social Sciences) and NWO (the Netherlands

Children’s Application of Theory of Mind in Reasoning and Language

. We also thank the participants of the workshop Formal models for real people and two anonymous reviewers of this journal for their valuable suggestions and comments. Rineke Verbrugge gratefully

Strong Completeness and Limited Canonicity for PDL

Propositional dynamic logic ( \(\mathsf{PDL}\) ) is complete but not compact. As a consequence, strong completeness (the property \(\Gamma \models \varphi \Rightarrow \Gamma \vdash \varphi\) ) requires an infinitary proof system. In this paper, we present a short proof for strong completeness of \(\mathsf{PDL}\) relative to an infinitary proof system containing the rule from [α; β ...