Rineke Verbrugge (verbrugge)
My contributions to Philosophie.ch
No contributions yet
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.