Torben Braüner (brauener)

Menzionato/a in queste pagine del portale

Contributi a Philosophie.ch

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.