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 pdfR. Verbrugge,
Provability logic (third updated edition).
In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy, Spring 2017 Edition. LinkJ. van Eijck and R. Verbrugge,
Formal approaches to social procedures.
In: E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Fall 2014 Edition. LinkA. 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 pdfB. 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 pdfR. Verbrugge,
Provability logic.
In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy, Winter 2010 Edition. LinkGert 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 pdfFive 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 pdfE. 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 pdfM. 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 pdfB. 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 pdfR. Verbrugge,
Provability logic.
Refereed lemma commissioned by: E. Zalta (ed.), The Stanford Encyclopedia of Philosophy(Summer 2003 Edition). LinkW. 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 pdfF.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 pdfF. 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 pdfF. 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