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 proceedingArticle in proceedingsResearchpeer-review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 In : Journal of Logic and Computation.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Braüner, T. 2018 (Accepted/In press) In : Studia Logica.

Research output: Contribution to journalLiterature reviewResearchpeer-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 Press

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2017

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F. 2017 In : Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid Logic

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

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

Open Access

Theory of Mind, linguistic recursion and autism spectrum disorder

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File

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

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Second-order false-belief: a modal analysis

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

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

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

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

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Second-order false-beliefs, language and logic

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
2014

First-Order Hybrid Logic: Introduction and Survey

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

Research output: Contribution to journalJournal articleResearchpeer-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. (eds.). University of Amsterdam, p. 79-103

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File

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

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

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Compendium to BK3: Theory of natural science

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

Research output: Book/ReportCompendium/lecture notesEducation

Hybrid Logic

Braüner, T. 2013 Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). 2 ed. Springer Science+Business Media, Vol. 17, p. 1-77

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Kompendium til BK3: Naturvidenskabsteori og metoder i naturvidenskab

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

Research output: Book/ReportCompendium/lecture notesEducation

2012

Advances in Modal Logic

Bolander, T. (ed.), Braüner, T. (ed.), Ghilardi, S. (ed.) & Moss, L. (ed.) 2012 College Publications. 592 p.

Research output: Book/ReportAnthologyResearch

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 proceedingArticle in proceedingsResearch

Preface

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

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-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. (eds.). Ontos Verlag, p. 301-336 (Philosophische Analyse / Philosophical Analysis; No. 39).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-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. (eds.). Prague: F solutions, p. 35-41

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Hybrid Logic (substantive revised version)

Braüner, T. 2011 The Stanford Encyclopedia of Philosophy. www: Stanford University

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

Hybrid Logic and its Proof-Theory

Braüner, T. 2011 Springer Science+Business Media. 231 p. (Applied Logic Series, Vol. 37).

Research output: Book/ReportBookResearchpeer-review

Intuitionistic hybrid logic: Introduction and survey

Braüner, T. 2011 In : Information and Computation. 209, 2, p. 1437-1446

Research output: Contribution to journalJournal articleResearchpeer-review

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (ed.) & Braüner, T. (ed.) 2011 Elsevier. 68 p. (Electronic Notes in Theoretical Computer Science; No. 273).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (ed.) & Braüner, T. (ed.) 2011 In : Electronic Notes in Theoretical Computer Science. 273, p. 1-2

Research output: Contribution to journalEditorialResearch

2010

Hybrid-logik: fra filosofi til datalogi

Braüner, T. 2010 In : Aktuel Naturvidenskab. 2, p. 40-43

Research output: Contribution to journalJournal articleCommunication

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T. 2010 In : Electronical Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journalEditorialResearch

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. (ed.) & Braüner, T. (ed.) 2010 Elsevier. 262 p. (Electronic Notes in Theoretical Computer Science; No. 262).

Research output: Book/ReportAnthologyResearch

2009

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (ed.) & Bolander, T. (ed.) 2009 Springer. (Journal of Logic, Language and Information; No. 4, Vol. 18).

Research output: Book/ReportAnthologyResearch

Hybrid Logic and Its Proof-Theory

Braüner, T. 2009 Roskilde: Roskilde Universitet. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).

Research output: Book/ReportDoctoral thesisResearch

Hybrid Logic Meets Other Logics (HyLoMOL)

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Preface

Braüner, T. & Bolander, T. 2009 In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

Braüner, T. (ed.) & Bolander, T. (ed.) 2009 Roskilde: Roskilde Universitet. 263 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 128).

Research output: Book/ReportAnthologyResearch

2008

Adding intensional machinery to hybrid logic

Braüner, T. 2008 In : Journal of Logic and Computation. 18, 4, p. 631-648 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-review

2007

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Braüner, T. (ed.), Blackburn, P. (ed.), Bolander, T. (ed.), de Paiva, V. & Villadsen, J. (ed.) 2007 Pergamon Press. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Braüner, T. (ed.), Villadsen, J. (ed.) & Bolander, T. (ed.) 2007 Dublin: ESSLLI. 95 p.

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J. 2007 In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T. 2007 In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T. 2006 In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review