Torben Braüner (brauener)

Mentioned on the following portal pages

Contributions to Philosophie.ch

No contributions yet

Bibliography

Bolander, Thomas, Braüner, Torben, Ghilardi, Silvio and Moss, Lawrence S., eds. 2012. Advances in Modal Logic. vol. IX. London: King’s College Publications.

Braüner, Torben. 2000. “A Cut-Free Gentzen Formulation of the Modal Logic S5.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 8: 629–643.

Braüner, Torben. 2002a. “Modal Logic, Truth, and the Master Modality.” The Journal of Philosophical Logic 31(4): 359–386.

Braüner, Torben. 2002b. “Homophonic Theory of Truth for Tense Logic.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 59–72. Singapore: World Scientific Publishing Co.

Braüner, Torben. 2004. “Two Natural Deduction Systems for Hybrid Logic: A Comparison.” Journal of Logic, Language, and Information 13(1): 1–23.

Braüner, Torben. 2006. “Hybrid 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/sum2006/entries/logic-hybrid/.

Braüner, Torben. 2011. “Hybrid 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/win2011/entries/logic-hybrid/.

Braüner, Torben. 2014. “Hybrid Logic.” in Handbook of Philosophical Logic, Volume XVII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–77. Dordrecht: Springer.

Braüner, Torben. 2017. “Hybrid 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-hybrid/.

Braüner, Torben. 2021. “Hybrid 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/spr2022/entries/logic-hybrid/.

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.