Activities per year
Activities
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
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 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: 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 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: 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
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
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 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
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
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: 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