Torben Braüner

Søgeresultater

• 2025

  Understanding responses of people with ASD in diverse reasoning tasks: A formal study

  Braüner, T., Ghosh, A. & Ghosh, S., feb. 2025, I: Cognitive Processing. 26, 1, s. 201-218 18 s., 102432.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
• 2024

  A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

  Kofod, J. L., Blackburn, P. R. & Braüner, T., 2024, (Accepteret/In press) I: Logic Journal of the IGPL.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Analytic Proof-Theory for Prior's System Q: First Steps

  Braüner, T., 2024, (Accepteret/In press) Seventy years of tense-logic: Logic and Philosophy of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time; Nr. 1, Bind 6).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Logic and Psychology: A Couple of Case Studies

  Braüner, T., 2024, FCR 2024 Formal and Cognitive Reasoning 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence. Özçep, Ö. L., Rußwinkel, N., Sauerwald, K. & Wolter, D. (red.). CEUR-WS.org, Bind 3763. s. 11-18 8 s. (CEUR Workshop Proceedings, Bind 3763).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Prior's Ideal Language

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepteret/In press) I: Mathematical Structures in Computer Science.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• This Time As Grandfather

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepteret/In press) Exploring Negation, Modality and Proof. Springer Nature, (A Springer book series Logic In Asia: Studia Logica Library).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• 2023

  An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

  Blackburn, P., Braüner, T. & Kofod, J. L., 2023, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. J. G. B. (red.). Springer, s. 118-134 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13923 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• The True Futures

  Braüner, T., nov. 2023, I: Synthese. 202, 5, 162.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• The True Futures: A Couple of Case Studies

  Braüner, T., 2023, The History and Philosophy of Tense-logic: Logic and Philosophy of Time. Jakobsen, D., Hasle, P. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, Bind 5(1). 13 s. (Logic and Philosophy of Time; Nr. 1, Bind 5).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

  Fil
• 2022

  Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

  Braüner, T., jun. 2022, I: Bulletin of the Section of Logic. 51, 2, s. 143-162 20 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Hybrid Logic

  Braüner, T., 2022, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Spring 2022 Edition udg. Stanford University

  Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning › peer review

• Second-order false beliefs and linguistic recursion in autism spectrum disorder

  Polyanskaya, I., Eigsti, I.-M., Braüner, T. & Blackburn, P. R., sep. 2022, I: Journal of Autism and Developmental Disorders. 52, 9, s. 3991-4006 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
• 2021

  A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications, March 4-7, 2021. Ghosh, S. & Ramanujam , R. (red.). The Association for Logic in India, s. 34-39

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

  Braüner, T., Blackburn, P. R. & Kofod, J. L., 2021, Non-Classical Modal and Predicate Logic: Book of abstracts. Bochum: Ruhr University Bochum, s. 29-32

  Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › peer review

  Åben adgang

  Fil

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

  Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2021, (In)coherence of Discourse: Formal and Conceptual Issues of Language. Amblard, M., Musiol, M. & Rebuschi, M. (red.). Springer VS, s. 21-42 22 s. (Language, Cognition, and Mind; Nr. 10).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study

  Braüner, T., Ghosh, A. & Ghosh, S., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers . Cleophas, L. & Massink, M. (red.). Springer, s. 118-128 11 s. (Lecture Notes in Computer Science; Nr. 12524).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2020

  Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

  Braüner, T., Blackburn, P. R. & Polyanskaya, I., 1 apr. 2020, I: Topics in Cognitive Science. 12, 2, s. 504-534 31 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Braüner, T., sep. 2020, I: Logic and Logical Philosophy. 29, 3, s. 415-445 31 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Remarks on Hybrid Modal Logic with Propositional Quantfiers

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2020, The Metaphysics of Time: Themes from Prior. Hasle, P., Jakobsen, D. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, s. 401-426 (Logic and Philosophy of Time; Nr. 4).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang
• 2019

  Udviser sociale chatbots empati?

  Lynge, J., Andersen, K. G. & Braüner, T., 2019, I: Aktuel Naturvidenskab. 2019, 5, s. 35-37

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  Åben adgang

  Fil
• 2018

  A logical investigation of false-belief tasks

  Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46 2 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Formal semantics for the Sally-Anne tasks

  Braüner, T. & Blackburn, P. R., 2018, s. 16-27.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil

• Many-Valued Hybrid Logic

  Hansen, J. U., Bolander, T. & Braüner, T., 20 jul. 2018, I: Journal of Logic and Computation. 28, 5, s. 883-908 26 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Review of book: Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction, Wiley, 2015.

  Braüner, T., 2018, I: Studia Logica: An International Journal for Symbolic Logic. 106, 3, s. 671-673

  Publikation: Bidrag til tidsskrift › Anmeldelse › Forskning › peer review

• 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
• 2017

  Completeness and Termination for a Seligman-style Tableau System

  Bidragets oversatte titel: Fuldstændighed og termination for et Seligman-style tableau systemBlackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., feb. 2017, I: Journal of Logic and Computation. 27, 1, s. 81-107 90 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Hybrid Logic

  Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Stanford University

  Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning › peer review

  Åben adgang

• Theory of Mind, linguistic recursion and autism spectrum disorder

  Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2017, I: Beyond Philology. 14, 1, s. 69-95 26 s., 5.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer 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 20 s. (Lecture Notes in Computer Science, Bind 9803).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer 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 20 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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, s. 273-278

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• 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/rapport › Bidrag til bog/antologi › Forskning › peer review

• Second-order false-belief: a modal analysis

  Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

• Second-order false-beliefs, language and autism: a pilot training study

  Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2015.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

• Second-order false-beliefs, language and logic

  Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

  Åben adgang

  Fil
• 2014

  First-Order Hybrid Logic: Introduction and Survey

  Braüner, T., 2014, I: Logic Journal of the IGPL. 22, 1, s. 155-165

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• 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/rapport › Bidrag til bog/antologi › Forskning

  Åben adgang

  Fil

• Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

  Braüner, T., 2014, I: Journal of Logic, Language and Information. 23, 4, s. 415-439

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
• 2013

  A Seligman-Style Tableau System

  Bidragets oversatte titel: Et Seligman Tableau SystemBlackburn, 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

• A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

  Braüner, T., 2013, I: Electronic Proceedings in Theoretical Computer Science. 113, s. 3-4

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Compendium to BK3: Theory of natural science

  Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 156 s.

  Publikation: Bog/antologi/afhandling/rapport › Kompendium/lecture notes

• Hybrid Logic

  Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (red.). 2 udg. Springer Science+Business Media, Bind 17. s. 1-77

  Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning › 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, s. 186-195

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Kompendium til BK3: Naturvidenskabsteori og metoder i naturvidenskab

  Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 194 s.

  Publikation: Bog/antologi/afhandling/rapport › Kompendium/lecture notes

• 2012

  Advances in Modal Logic

  Bolander, T. (Redaktør), Braüner, T. (Redaktør), Ghilardi, S. (Redaktør) & Moss, L. (Redaktør), 2012, College Publications. 592 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 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/rapport › Konferencebidrag i proceedings › Forskning

• Preface

  Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (red.). London: College Publications, Bind 9. s. viii-x

  Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning › peer review

• 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/rapport › Bidrag til bog/antologi › Forskning › peer review

• 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/rapport › Konferencebidrag i proceedings › Forskning › peer review