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