Activities per year
Activities
- 32 results
Search results
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Speaker)
5 Nov 2024Activity: Talk or presentation › Lecture and oral contribution
-
Logic meeting at DTU
Braüner, T. (Speaker)
31 May 2024Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Speaker)
23 Mar 2024 → 24 Mar 2024Activity: Talk or presentation › Lecture and oral contribution
-
When people with autism outperform typicals: A formal logical study
Braüner, T. (Speaker)
24 Nov 2023Activity: Talk or presentation › Lecture and oral contribution
-
Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Speaker)
10 Apr 2022Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Braüner, T. (Speaker)
17 Feb 2022Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Case Study: Logical and Mathematical Understanding in Comparison to Other Academic Competences
Braüner, T. (Speaker)
11 Jan 2022Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Speaker)
11 Jan 2022Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Remarks on hybrid modal logic with propositional quantiers
Braüner, T. (Speaker)
5 Mar 2021Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Logic and cognition
Braüner, T. (Speaker)
14 Jan 2021Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Hybrid logic and its Proof-Theory
Braüner, T. (Speaker)
27 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Logical proofs: From mathematics to psychology
Braüner, T. (Speaker)
30 Oct 2019Activity: Talk or presentation › Lecture and oral contribution
-
Logic in progress talk
Braüner, T. (Speaker)
23 May 2018Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Hybrid Logic and its Proof-Theory
Braüner, T. (Speaker)
2 Mar 2018Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: The application of hybrid logic within cognitive psychology
Braüner, T. (Speaker)
15 Dec 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited mini-course on hybrid logic
Braüner, T. (Speaker)
11 Dec 2017 → 13 Dec 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Braüner, T. (Speaker)
17 May 2017Activity: Talk or presentation › Lecture and oral contribution
-
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Braüner, T. (Speaker)
8 May 2017 → 12 May 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: Deception and Second-Order Theory of Mind
Braüner, T. (Speaker)
9 Jan 2017 → 13 Jan 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Braüner, T. (Speaker)
23 May 2016 → 25 May 2016Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Braüner, T. (Lecturer)
6 Jan 2014 → 17 Jan 2014Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk at the workshop: False-Belief Tasks and Logic
Braüner, T. (Lecturer)
5 Dec 2013Activity: Talk or presentation › Lecture and oral contribution
-
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Braüner, T. (Lecturer)
24 May 2013Activity: 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.
Braüner, T. (Lecturer)
17 Jan 2013Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Hybrid Logic and Its Proof-Theory
Braüner, T. (Lecturer)
30 Sept 2012Activity: Talk or presentation › Lecture and oral contribution
-
Invited mini-course
Braüner, T. (Lecturer)
14 May 2012 → 18 May 2012Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Braüner, T. (Lecturer)
27 Sept 2011 → 29 Sept 2011Activity: Talk or presentation › Lecture and oral contribution
-
Arthur Prior’s temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Lecturer)
8 Apr 2011 → 9 Apr 2011Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Lecturer)
4 Dec 2008 → 6 Dec 2008Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: From classical to intuitionistic hybrid logic
Braüner, T. (Lecturer)
23 Jun 2008Activity: Talk or presentation › Lecture and oral contribution
-
Introductory lecture on hybrid logic
Braüner, T. (Lecturer)
6 Aug 2007 → 10 Aug 2007Activity: Talk or presentation › Lecture and oral contribution
-
Invited tutorial on temporal logic and hybrid logic
Braüner, T. (Lecturer)
7 Nov 2002 → 9 Nov 2002Activity: Talk or presentation › Lecture and oral contribution