No photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

19992020
If you made any changes in Pure these will be visible here soon.

Activities 2002 2019

The 12th International Symposium on Frontiers of Combining Systems (Event)

Torben Braüner (Member)
4 Sep 20196 Sep 2019

Activity: MembershipMembership in committee, council, board

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)
27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)
30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), Sujata Ghosh (Organizer)
2 Mar 2019

Activity: Participating in or organising an eventOrganisation and participation in conference

Eighth Indian Conference on Logic and its Applications 2019 (Event)

Torben Braüner (Member)
1 Mar 20195 Mar 2019

Activity: MembershipMembership in committee, council, board

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

Logic in progress talk

Torben Braüner (Speaker)
23 May 2018

Activity: Talk or presentationLecture and oral contribution

25th Workshop on Logic, Language, Information and Computation (Event)

Torben Braüner (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)
8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)
15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Invited mini-course on hybrid logic

Torben Braüner (Speaker)
11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: Second-order false belief reasoning: Some modal logical analyses

Torben Braüner (Speaker)
17 May 2017

Activity: Talk or presentationLecture and oral contribution

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

Activity: Participating in or organising an eventOrganisation and participation in conference

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)
30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

Autism Research Network Meeting

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

Activity: Participating in or organising an eventOrganisation and participation in conference

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Speaker)
23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

Frontiers of Combining Systems (FroCoS 2015) (External organisation)

Torben Braüner (Member)
19 Sep 201524 Sep 2015

Activity: MembershipMembership in committee, council, board

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
27 May 2015

Activity: Participating in or organising an eventOrganisation and participation in conference

The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)

Torben Braüner (Member)
2 Nov 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Lecturer)
6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Torben Braüner (Chairman)
31 Oct 2013

Activity: MembershipMembership in review committee

Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Torben Braüner (Lecturer)
24 May 2013

Activity: Talk or presentationLecture and oral contribution

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Lecturer)
5 Dec 2013

Activity: Talk or presentationLecture and oral contribution

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Torben Braüner (Member)
22 Aug 201225 Aug 2012

Activity: MembershipMembership in committee, council, board

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)
30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

Torben Braüner (Member)
25 Jun 201229 Jun 2012

Activity: MembershipMembership in committee, council, board

Invited mini-course

Torben Braüner (Lecturer)
14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

Frontiers of Combining Systems (FroCoS 2011) (External organisation)

Torben Braüner (Member)
5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
10 Nov 201112 Nov 2011

Activity: MembershipMembership in committee, council, board

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Lecturer)
27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
10 Jul 2010

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
1 Jan 201031 Dec 2012

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

Frontiers of Combining Systems (FroCoS 2009) (External organisation)

Torben Braüner (Member)
16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

Torben Braüner (Member)
7 Jul 200910 Jul 2009

Activity: MembershipMembership in committee, council, board

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

Torben Braüner (Member)
12 Nov 200914 Nov 2009

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)
26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)
23 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
4 Dec 20086 Dec 2008

Activity: Talk or presentationLecture and oral contribution

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
29 Nov 200730 Nov 2007

Activity: MembershipMembership in committee, council, board

International Workshop on Hybrid Logic 2007 (HyLo 2007) (External organisation)

Torben Braüner (Member)
6 Aug 200710 Aug 2007

Activity: MembershipMembership in committee, council, board