Publications

Articles in books

J. Szymanik and R. Verbrugge,
Tractability and the computational mind.
In: M. Colombo and M. Sprevak, eds., Routledge Handbook of the Computational Mind. Routledge, Oxford, 2018, pp. 339-353.
Download pdf
R. Verbrugge,
Provability logic (third updated edition).
In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy, Spring 2017 Edition. Link
J. van Eijck and R. Verbrugge,
Formal approaches to social procedures.
In: E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Fall 2014 Edition. Link
A. Isaac, J. Szymanik and R. Verbrugge,
Logic and complexity in cognitive science.
In: A. Baltag and S. Smets (eds.), Johan van Benthem on Logical and Informational Dynamics, Trends in Logic, Outstanding Contributions to Logic, Volume 5, Springer Verlag, Berlin, 2014, pp. 787-824. Download pdf
B. Dunin-Kęplicz and R. Verbrugge,
A logical view on teamwork.
In: J. van Eijck and R. Verbrugge (eds.), Games, Actions and Social Software: Multidisciplinary Aspects, Texts in Logic and Games, FoLLI subseries of Springer Lecture Notes in Computer Science, volume 7010, Springer Verlag, Berlin, 2012, pp. 184-212. Download pdf
R. Verbrugge,
Provability logic.
In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy, Winter 2010 Edition. Link
Gert van Valkenhoef, Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Nicholas R. Jennings and Rineke Verbrugge,
Continuous double auctions with execution uncertainty.
In: Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, series Lecture Notes in Business Information Processing, vol. 59, Springer, Berlin, 2010, pp. 226-241. Download pdf
Five chapters in: J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software, Texts in Logic and Games, Amsterdam University Press, 2009.
- K. Dowding and R. Verbrugge, Social software and the social sciences. pp. 57-70. Download pdf
- H. van Ditmarsch, J. van Eijck and R. Verbrugge, Common knowledge and common belief. pp. 99-122. Download pdf
- J. van Eijck and R. Verbrugge, Eating from the tree of ignorance. pp. 183-198. Download pdf
- B. Kooi and R. Verbrugge, Battle of the logics. pp. 163-182. Download pdf
- J. van Eijck, R. Parikh, M. Pauly and R. Verbrugge, Social software and the ills of society. pp. 219-226. Download pdf
D.H.J. de Jongh, R. Verbrugge and A. Visser,
Intermediate logics and the de Jongh property.
In: P. Cintula, Z. Hanikova and V. Svejdar (eds.), Witnessed Years: Essays in Honour of Petr Hájek, London, College Publications, 2009, pp. 33-52. Download pdf
E. van Baars and R. Verbrugge,
Adjusting a knowledge-based algorithm for multiagent communication for CPS.
In: M. Dastani, A. El Fallah-Seghrouchni, J. Leite and P. Torroni (eds.), Languages, Methodologies and Development Tools for Multi-agent Systems, Berlin, Springer, Series Lecture Notes in Computer Science. vol. 5118, 2008, pp. 89-105. Download pdf
M. Harbers, R. Verbrugge, C. Sierra and J. Debenham,
The examination of an information-based approach to trust.
In: P. Noriega and J. Padget (eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems III, Berlin, Springer, Series Lecture Notes in Computer Science, 2008, pp. 71-82. Download pdf
B. Dunin-Kęplicz and R. Verbrugge,
Creating common beliefs in rescue situations.
In: B. Dunin-Kęplicz, A. Jankowski, A.Skowron and M. Szczuka (eds.), Monitoring, Security and Rescue Techniques in Multiagent Systems, Series Advances in Soft Computing, Springer Verlag, Berlin, 2005, pp. 69-84. Download pdf

B. Dunin-Kęplicz and R. Verbrugge,
Dynamics of collective attitudes during teamwork.
In: A. Omicini, P. Petta and J. Pitt (eds.), Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, Oct. 29-31 2003: Revised Selected and Invited Papers, Lecture Notes in Computer Science vol. 3071, Springer Verlag, Berlin, 2004, pp. 107-122.
D. de Jongh, F. Veltman and R. Verbrugge,
Completeness by construction for tense logics of linear time.
In: A.S. Troelstra, A. Visser, J.F.A.K. van Benthem and F.J.M.M. Veltman (eds.), Liber Amicorum for Dick de Jongh, Amsterdam, Institute of Logic, Language and Computation, 2004. Download pdf
R. Verbrugge,
Provability logic.
Refereed lemma commissioned by: E. Zalta (ed.), The Stanford Encyclopedia of Philosophy(Summer 2003 Edition). Link
W. van der Hoek and R. Verbrugge,
Epistemic logic: a survey.
In: V. Mazalov and L. Petrosjan (eds.), Game Theory and Applications, vol. 8, Nova Science Publishers, New York, 2002, pp. 53-94. Download pdf
F.M.T. Brazier, B. Dunin-Kęplicz, J. Treur, and R. Verbrugge,
Modelling internal dynamic behaviour of BDI Agents.
In: D.Gabbay and P. Smets (eds.), Dynamics and Management of Reasoning Processes, Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6, Kluwer Academic Publishers/The Hong Kong Institute of Education, Dordrecht/Hong Kong, 2001, pp. 339-361. Download pdf
F. Dignum, B. Dunin-Kęplicz and R. Verbrugge,
Agent theory for team formation by dialogue.
In: C. Castelfranchi and Y. Lesperance (eds.) Intelligent Agents VII: Agent Theories, Architectures and Languages, Lecture Notes in Computer Science vol. 1986, Springer Verlag, Berlin, 2001, pp. 150-166. Download pdf
F. Dignum, B. Dunin-Kęplicz and R. Verbrugge,
Dialogue in team formation.
In: F. Dignum and M. Greaves (eds.), Issues in Agent Communication, Lecture Notes in Computer Science vol. 916, Springer Verlag, Berlin, 2000, pp. 264-280.
R. Verbrugge,
Provability logic.
In: the Supplement of Paul Edwards (ed.), Encyclopedia of Philosophy, MacMillan, New York, 1996, pp. 476-478.
R. Verbrugge,
The complexity of feasible interpretability.
In: P. Clote and J. Remmel (eds.), Feasible Mathematics II, Birkhaüser, Boston, 1994, pp. 429-447.
R. Verbrugge,
Feasible interpretability.
In: P. Clote and J. Krajícek (eds.), Arithmetic, Proof Theory and Computational Complexity, Oxford University Press, Oxford, 1993, pp. 387-428.

Rineke Verbrugge 2023