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
Konferencebidrag i proceedings
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. (red.). Cognitive Science Society, s. 45-46

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Berlin: Springer, s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). College Publications, Bind 11. s. 302-321

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, s. 273-278

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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. (red.). Heidelberg: Springer Publishing Company, s. 147-163 16 s. (Lecture Notes in Computer Science, Bind 8312).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, s. 186-195

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Rio de Janeiro, s. 1-1

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). Prague: F solutions, s. 35-41

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2008

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (red.). College Publications, Bind 7. s. 111-132 22 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Humboldt-Universität zu Berlin, s. 79-96

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). INRIA

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). s. 37-51

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). s. 79-88

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning