Research Output per year
Research Output 1999 2018
2018
A logical investigation of false-belief tasks
Braüner, T., Polyanskaya, I. & Blackburn, P. R. 2018 (Accepted/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder
Polyanskaya, I., Braüner, T. & Blackburn, P. R. 2018 (Accepted/In press) BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA: Cascadilla PressResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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-2584Research 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-321Research 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-278Research 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-195Research 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-1Research 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-41Research 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-96Research 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.). INRIAResearch 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-51Research 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-88Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research