No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992018
If you made any changes in Pure these will be visible here soon.

Research Output 1999 2018

Filter
Book chapter
2015

Logikkens muligheder og grænser: Om standse-problemet og Gödels sætninger

Braüner, T., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 49-66

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2014

Hybrid-Logical Reasoning in False-Belief Tasks

Braüner, T., 2014, Logic and Interactive Rationality, Volume II: Yearbook 2012. Christoff, Z., Galeazzi, P., Gierasimczuk, N., Marcoci, A. & Smets, S. (eds.). University of Amsterdam, p. 79-103

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File
2011

Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Braüner, T., 2011, Persistenz - Indexikalität - Zeiterfahrung. Schmechtig, P. & Schönrich, G. (eds.). Ontos Verlag, p. 301-336 (Philosophische Analyse / Philosophical Analysis; No. 39).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2009

Hybrid Logic Meets Other Logics (HyLoMOL)

Braüner, T., 2009, Årsberetning 2008. Roskilde: Roskilde Universitet, Vol. 2008, p. 53 1 p. (Årsberetning. Roskilde Universitet, Vol. 2008).

Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2009, Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Kurzen, L. & Velazquez-Quesada, F. R. (eds.). University of Amsterdam, p. 238-263

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

2003

Functional completeness for a natural deduction formulation of hybridized S5

Braüner, T., 2003, Advances in Modal Logic. Volume 4. Balbiani, P., Suzuki, N-Y., Wolter, F. & Zakharyaschev, M. (eds.). King's College Publications, p. 31-49

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Sprog, tid og logik

Braüner, T. & Hasle, P., 2003, Sprog og Matematik. Henrichsen, P. J. & Prebensen, H. (eds.). Copenhagen: Handelshøjskolens Forlag, p. 84-101

Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

2002

Homophonic theory of truth for tense logic

Braüner, T., 2002, Advances in Modal Logic. Volume 3. Wolter, F., Wansing, H., Rijke, M. D. & Zakharyaschev, M. (eds.). World Scientific, p. 59-72

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

2000

Determinism and the origins of temporal logic

Braüner, T., Hasle, P. & Øhrstrøm, P., 2000, Advances in Temporal Logic. Barringer, H., Fisher, M., Gabbay, D. & Gough, G. (eds.). Kluwer Academic Publishers, p. 185-206 (Applied Logic Series; No. 16).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch