Publikationer pr. år
Publikationer 1999 2019
- 1 - 50 ud af 80 resultater
- Udgivelsesår, titel (faldende)
2019
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
Braüner, T., 2019, (Accepteret/In press) I : Logic and Logical Philosophy.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder
Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer Nature, (Language, Cognition, and Mind).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › 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. (red.). Cognitive Science Society, s. 45-46Publikation: 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., 2018, I : Journal of Logic and Computation. 28, 5, s. 883-908Publikation: 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-673Publikation: 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
Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, I : Journal of Logic and Computation. 27, 1, s. 81-107Publikation: 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 UniversityPublikation: 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. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584Publikation: 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 (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-321Publikation: 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-278Publikation: 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-66Publikation: 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-165Publikation: 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-103Publikation: 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-439Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer 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/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-4Publikation: 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 › Undervisning
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-77Publikation: 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-195Publikation: 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 › Undervisning
2012
Advances in Modal Logic
Bolander, T. (red.), Braüner, T. (red.), Ghilardi, S. (red.) & Moss, L. (red.), 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-1Publikation: 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-xPublikation: 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-41Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Hybrid Logic (substantive revised version)
Braüner, T., 2011, The Stanford Encyclopedia of Philosophy. www: Stanford UniversityPublikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning › peer review
Hybrid Logic and its Proof-Theory
Braüner, T., 2011, Springer Science+Business Media. 231 s. (Applied Logic Series, Bind 37).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review
Intuitionistic hybrid logic: Introduction and survey
Braüner, T., 2011, I : Information and Computation. 209, 2, s. 1437-1446Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)
Bolander, T. (red.) & Braüner, T. (red.), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface
Bolander, T. (red.) & Braüner, T. (red.), 2011, I : Electronic Notes in Theoretical Computer Science. 273, s. 1-2Publikation: Bidrag til tidsskrift › Leder › Forskning
2010
Hybrid-logik: fra filosofi til datalogi
Braüner, T., 2010, I : Aktuel Naturvidenskab. 2, s. 40-43Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)
Bolander, T. (red.) & Braüner, T. (red.), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)
Bolander, T. & Braüner, T., 2010, I : Electronical Notes in Theoretical Computer Science. 262, s. 1-2Publikation: Bidrag til tidsskrift › Leder › Forskning
2009
HYBRID LOGIC: Dedicated to the Memory of Volker Weber
Braüner, T. (red.) & Bolander, T. (red.), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Hybrid Logic and Its Proof-Theory
Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 124).Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning
Hybrid Logic Meets Other Logics (HyLoMOL)
Braüner, T., 2009, Årsberetning 2008. Roskilde: Roskilde Universitet, Bind 2008. s. 53 1 s. (Årsberetning. Roskilde Universitet, Bind 2008).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling
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. (red.). University of Amsterdam, s. 238-263Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Preface
Braüner, T. & Bolander, T., 2009, I : Journal of Logic, Language and Information. 18, 4, s. 435-436Publikation: Bidrag til tidsskrift › Leder › Forskning
Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)
Braüner, T. (red.) & Bolander, T. (red.), 2009, Roskilde: Roskilde Universitet. 263 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 128).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
2008
Adding intensional machinery to hybrid logic
Braüner, T., 2008, I : Journal of Logic and Computation. 18, 4, s. 631-648 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
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/rapport › Konferencebidrag i proceedings › Forskning › peer review
2007
Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)
Braüner, T. (red.), Blackburn, P. (red.), Bolander, T. (red.), de Paiva, V. & Villadsen, J. (red.), 2007, Pergamon Press. 148 s. (Electronic Notes in Theoretical Computer Science; Nr. 6, Bind 174).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning