Torben Braüner

ph.d. & dr.scient.

Professor (MSO), Department of People and Technology
Professor (MSO), Programming, Logic and Intelligent Systems

Phone+45 46 74 38 40
Emailtorben@ruc.dk
Websitehttp://www.ruc.dk/~torben

Universitetsvej 1, 10.1
DK-4000 Roskilde
Denmark

Research output per year

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

16 results

Filter

2020

Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study
Braüner, T., Ghosh, A. & Ghosh, S., 2020, (Accepted/In press) Proceedings of 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. 10 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2018

A logical investigation of false-belief tasks
Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (eds.). Cognitive Science Society, p. 45-46
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
Second-Order False Beliefs and Recursive Complements in Children with ASD
Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
2016

Recursive belief manipulation and second-order false-beliefs
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (eds.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, p. 2579-2584
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
Second-order false-belief tasks: Analysis and formalization
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
Synthetic Completeness Proofs for Seligman-style Tableau Systems
Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2015

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?
Braüner, T., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society, Pasadena, California, USA. Cognitive Science Society, p. 273-278
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
2013

A Seligman-Style Tableau System
Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Hybrid-Logical Reasoning in False-Belief Tasks
Braüner, T., 2013, Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK). Chennai: Institute of Mathematical Sciences, p. 186-195
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2012

Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings
Braüner, T., Sep 2012, LSFA 2012 Pre-proceedings. Kesner, D. & Viana, P. (eds.). Rio de Janeiro, p. 1-1
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
2011

First-Order Hybrid Logic: Introduction and Survey
Braüner, T., 2011, Volume of abstracts: Non-classical Modal and Predicate Logics. Cintula, P., Ju, S. & Víta, M. (eds.). Prague: F solutions, p. 35-41
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2008

Many-valued hybrid logic
Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2005

Two Tableau-Based Decision Procedures for Hybrid Logic
Braüner, T. & Bolander, T., 2005, 4th workshop "Methods for Modalities" (M4M), Informatik-Bericht Nr. 194. Schlingloff, H. (ed.). Humboldt-Universität zu Berlin, p. 79-96
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
2003

Towards constructive hybrid logic (extended abstract)
Braüner, T. & de Paiva, V., 2003, Workshop Proceedings of Methods for Modalities 3. Areces, C. & Blackburn, P. (eds.). INRIA
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
2002

Natural deduction for first-order hybrid logic
Braüner, T., 2002, Workshop Proceedings of Fourth Workshop on Hybrid Logics. Areces, C., Blackburn, P., Marx, M. & Sattler, U. (eds.). p. 37-51
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
1999

A cut-free gentzen formulation of the modal logic S5
Braüner, T., 1999, Proceedings of 6th Workshop on Logic, Language, Information and Computation. Queiroz, R. D. & Carnielli, W. (eds.). p. 79-88
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Search results