-
88Logic and social cognition the facts matter, and so do computational modelsJournal of Philosophical Logic 38 (6): 649-680. 2009.This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intel…Read more
-
32Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 WorkshopJournal of Logic, Language and Information 22 (4): 357-362. 2013.The explanatory power of logic is vast and therefore it has proved a valuable tool for many disciplines, including the building-blocks of cognitive science, such as philosophy, computer science, mathematics, artificial intelligence, and linguistics. Logic has a great track record in providing interesting insights by means of formalization, and as such it is very useful in disambiguating psychological theories. Logically formalized cognitive theories are not only the source of unequivocal experim…Read more
-
113On the provability logic of bounded arithmeticAnnals of Pure and Applied Logic 61 (1-2): 75-93. 1991.Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames
-
702Proceedings of the Workshop 'Reasoning about other minds: Logical and cognitive perspectives (edited book)WEUR Proceedings. 2011.In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on …Read more
-
149Strong Completeness and Limited Canonicity for PDLJournal of Logic, Language and Information 18 (2): 291-292. 2009.
-
186Logic and Social Cognition: The Facts Matter, and So Do Computational ModelsJournal of Philosophical Logic 38 (6): 649-680. 2009.This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intel…Read more
-
140A communication algorithm for teamwork in multi-agent environmentsJournal of Applied Non-Classical Logics 19 (4): 431-461. 2009.Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 sol…Read more
-
University of GroningenFaculty of Philosophy
Department of Artificial Intelligence, Bernoulli Institute, Faculty of Science and EngineeringProfessor
Groningen, Groningen, Netherlands
Areas of Interest
Logic and Philosophy of Logic |
Epistemology |
Science, Logic, and Mathematics |