Torben Braüner

Activities

Activities per year 2002 2021

• 28 Membership in committee, council, board
• 24 Lecture and oral contribution
• 6 Organisation and participation in conference
• 1 Membership in research network
• 1 More
  • 1 Membership in review committee

Activities per year

Search results

• Invited talk: Logic and cognition

  Torben Braüner (Speaker)

  14 Jan 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Remarks on hybrid modal logic with propositional quantiers

  Torben Braüner (Speaker)

  5 Mar 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid logic and its Proof-Theory

  Torben Braüner (Speaker)

  27 Nov 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Logical proofs: From mathematics to psychology

  Torben Braüner (Speaker)

  30 Oct 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid Logic and its Proof-Theory

  Torben Braüner (Speaker)

  2 Mar 2018

  Activity: Talk or presentation › Lecture and oral contribution

• Logic in progress talk

  Torben Braüner (Speaker)

  23 May 2018

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Speaker)

  8 May 2017 → 12 May 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture: Deception and Second-Order Theory of Mind

  Torben Braüner (Speaker)

  9 Jan 2017 → 13 Jan 2017

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Speaker)

  17 May 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited mini-course on hybrid logic

  Torben Braüner (Speaker)

  11 Dec 2017 → 13 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture: The application of hybrid logic within cognitive psychology

  Torben Braüner (Speaker)

  15 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Speaker)

  23 May 2016 → 25 May 2016

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  6 Jan 2014 → 17 Jan 2014

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  24 May 2013

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.

  Torben Braüner (Lecturer)

  17 Jan 2013

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  5 Dec 2013

  Activity: Talk or presentation › Lecture and oral contribution

• Invited mini-course

  Torben Braüner (Lecturer)

  14 May 2012 → 18 May 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid Logic and Its Proof-Theory

  Torben Braüner (Lecturer)

  30 Sep 2012

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  8 Apr 2011 → 9 Apr 2011

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  27 Sep 2011 → 29 Sep 2011

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: From classical to intuitionistic hybrid logic

  Torben Braüner (Lecturer)

  23 Jun 2008

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  4 Dec 2008 → 6 Dec 2008

  Activity: Talk or presentation › Lecture and oral contribution

• Introductory lecture on hybrid logic

  Torben Braüner (Lecturer)

  6 Aug 2007 → 10 Aug 2007

  Activity: Talk or presentation › Lecture and oral contribution

• Invited tutorial on temporal logic and hybrid logic

  Torben Braüner (Lecturer)

  7 Nov 2002 → 9 Nov 2002

  Activity: Talk or presentation › Lecture and oral contribution