Aktiviteter pr. år
Aktiviteter
- 32 resultater
Søgeresultater
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Oplægsholder)
5 nov. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Logic meeting at DTU
Braüner, T. (Oplægsholder)
31 maj 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Oplægsholder)
23 mar. 2024 → 24 mar. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
When people with autism outperform typicals: A formal logical study
Braüner, T. (Oplægsholder)
24 nov. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Oplægsholder)
10 apr. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Braüner, T. (Oplægsholder)
17 feb. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Case Study: Logical and Mathematical Understanding in Comparison to Other Academic Competences
Braüner, T. (Oplægsholder)
11 jan. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Case study: Logical and mathematical understanding in comparison to other academic competences
Braüner, T. (Oplægsholder)
11 jan. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Remarks on hybrid modal logic with propositional quantiers
Braüner, T. (Oplægsholder)
5 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Logic and cognition
Braüner, T. (Oplægsholder)
14 jan. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid logic and its Proof-Theory
Braüner, T. (Oplægsholder)
27 nov. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Logical proofs: From mathematics to psychology
Braüner, T. (Oplægsholder)
30 okt. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Logic in progress talk
Braüner, T. (Oplægsholder)
23 maj 2018Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid Logic and its Proof-Theory
Braüner, T. (Oplægsholder)
2 mar. 2018Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture: The application of hybrid logic within cognitive psychology
Braüner, T. (Oplægsholder)
15 dec. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited mini-course on hybrid logic
Braüner, T. (Oplægsholder)
11 dec. 2017 → 13 dec. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Braüner, T. (Oplægsholder)
17 maj 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Braüner, T. (Oplægsholder)
8 maj 2017 → 12 maj 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture: Deception and Second-Order Theory of Mind
Braüner, T. (Oplægsholder)
9 jan. 2017 → 13 jan. 2017Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Braüner, T. (Oplægsholder)
23 maj 2016 → 25 maj 2016Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Braüner, T. (Foredragsholder)
6 jan. 2014 → 17 jan. 2014Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk at the workshop: False-Belief Tasks and Logic
Braüner, T. (Foredragsholder)
5 dec. 2013Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Braüner, T. (Foredragsholder)
24 maj 2013Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.
Braüner, T. (Foredragsholder)
17 jan. 2013Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Hybrid Logic and Its Proof-Theory
Braüner, T. (Foredragsholder)
30 sep. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited mini-course
Braüner, T. (Foredragsholder)
14 maj 2012 → 18 maj 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Braüner, T. (Foredragsholder)
27 sep. 2011 → 29 sep. 2011Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Arthur Prior’s temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Foredragsholder)
8 apr. 2011 → 9 apr. 2011Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Foredragsholder)
4 dec. 2008 → 6 dec. 2008Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: From classical to intuitionistic hybrid logic
Braüner, T. (Foredragsholder)
23 jun. 2008Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Introductory lecture on hybrid logic
Braüner, T. (Foredragsholder)
6 aug. 2007 → 10 aug. 2007Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited tutorial on temporal logic and hybrid logic
Braüner, T. (Foredragsholder)
7 nov. 2002 → 9 nov. 2002Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag