No photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 1999 2019

Filter
Book chapter
2019

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer VS, (Language, Cognition, and Mind).

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

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