Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1999 2019

Filter
Bidrag til bog/antologi
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 Nature, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2015

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

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). University of Amsterdam, s. 79-103

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Åben adgang
Fil
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. (red.). Ontos Verlag, s. 301-336 (Philosophische Analyse / Philosophical Analysis; Nr. 39).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2009

Hybrid Logic Meets Other Logics (HyLoMOL)

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

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. (red.). University of Amsterdam, s. 238-263

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). King's College Publications, s. 31-49

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Sprog, tid og logik

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiUndervisning

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. (red.). World Scientific, s. 59-72

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). Kluwer Academic Publishers, s. 185-206 (Applied Logic Series; Nr. 16).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning