Rineke Verbrugge

Mentioned on the following portal pages

Bibliography

Brazier, F. M. T., Dunin-Keplicz, Barbara, Treur, Jan and Verbrugge, Rineke. 2001. “Modelling Internal Dynamic Behaviour of BDI Agents.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 339–362. Dordrecht: Kluwer Academic Publishers.
Eijck, Jan van and Verbrugge, Rineke. 2014. “Formal Approaches to Social Procedures.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2014/entries/social-procedures/.
Eijck, Jan van and Verbrugge, Rineke. 2019. “Formal Approaches to Social Procedures.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2019/entries/social-procedures/.
Szymanik, Jakub and Verbrugge, Rineke. 2019. “Tractability and the Computational Mind.” in The Routledge Handbook of the Computational Mind, edited by Mark Sprevak and Matteo Colombo, pp. 339–354. Routledge Handbooks in Philosophy. London: Routledge.
Verbrugge, Rineke. 1999. “Review of Meyer and van den Hoek (1995).” The Journal of Symbolic Logic 64(4): 1837–1840.
Verbrugge, Rineke. 2003. “Provability Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2003/entries/logic-provability/.
Verbrugge, Rineke. 2010. “Provability Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2010/entries/logic-provability/.
Verbrugge, Rineke. 2017. “Provability Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2017/entries/logic-provability/.
Verbrugge, Rineke. 2024. “Provability Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/logic-provability/.

Further References

Meyer, John-Jules Ch. and van den Hoek, Wiebe. 1995. Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press.