Thomas Bolander (bolander)

Mentionné.e sur les pages du portail suivantes

Contributions à Philosophie.ch

Bibliography

Andersen, Mikkel Birkegaard, Bolander, Thomas, Ditmarsch, Hans P. van and Jensen, Martin Holm. 2017. “Bisimulation and Expressivity for Conditional Belief, Degrees of Belief, and Safe Belief.” Synthese 194(7): 2447–2487.
Bolander, Thomas. 2003. “Restricted Truth Predicates in First-Order Logic.” in The Logica Yearbook 2002, edited by Timothy Childers and Ondrej Majer, pp. 41–56. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.
Bolander, Thomas. 2008. “Self-Reference.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2008/entries/self-reference/.
Bolander, Thomas. 2013. “Self-Reference.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2013/entries/self-reference/.
Bolander, Thomas. 2017. “Self-Reference.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2017/entries/self-reference/.
Bolander, Thomas. 2024. “Self-Reference and Paradox.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2024/entries/self-reference/.
Bolander, Thomas, Braüner, Torben, Ghilardi, Silvio and Moss, Lawrence S., eds. 2012. Advances in Modal Logic. vol. IX. London: King’s College Publications.
Hansen, Jens Ulrik, Bolander, Thomas and Braüner, Torben. 2008. “Many-Valued Hybrid Logic.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 111–132. London: College Publications.
Jørgensen, Klaus Frovin, Blackburn, Patrick, Bolander, Thomas and Braüner, Torben. 2016. “Synthetic Completeness Proofs for Seligman-Style Tableau Systems.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 302–321. London: King’s College Publications.