Aktiviteter pr. år
Aktiviteter
Invited talk: Hybrid logic and its Proof-Theory
Torben Braüner (Oplægsholder)
27 nov. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Logical proofs: From mathematics to psychology
Torben Braüner (Oplægsholder)
30 okt. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Logic in progress talk
Torben Braüner (Oplægsholder)
23 maj 2018
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited mini-course on hybrid logic
Torben Braüner (Oplægsholder)
11 dec. 2017 → 13 dec. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Torben Braüner (Oplægsholder)
17 maj 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited lecture: The application of hybrid logic within cognitive psychology
Torben Braüner (Oplægsholder)
15 dec. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited lecture: Deception and Second-Order Theory of Mind
Torben Braüner (Oplægsholder)
9 jan. 2017 → 13 jan. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Torben Braüner (Oplægsholder)
8 maj 2017 → 12 maj 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Torben Braüner (Oplægsholder)
23 maj 2016 → 25 maj 2016
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Torben Braüner (Foredragsholder)
6 jan. 2014 → 17 jan. 2014
Aktivitet: 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.
Torben Braüner (Foredragsholder)
17 jan. 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk at the workshop: False-Belief Tasks and Logic
Torben Braüner (Foredragsholder)
5 dec. 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Torben Braüner (Foredragsholder)
24 maj 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: Hybrid Logic and Its Proof-Theory
Torben Braüner (Foredragsholder)
30 sep. 2012
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited mini-course
Torben Braüner (Foredragsholder)
14 maj 2012 → 18 maj 2012
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Torben Braüner (Foredragsholder)
27 sep. 2011 → 29 sep. 2011
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Arthur Prior’s temporal logic and the origin of contemporary hybrid logic
Torben Braüner (Foredragsholder)
8 apr. 2011 → 9 apr. 2011
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: From classical to intuitionistic hybrid logic
Torben Braüner (Foredragsholder)
23 jun. 2008
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic
Torben Braüner (Foredragsholder)
4 dec. 2008 → 6 dec. 2008
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Introductory lecture on hybrid logic
Torben Braüner (Foredragsholder)
6 aug. 2007 → 10 aug. 2007
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited tutorial on temporal logic and hybrid logic
Torben Braüner (Foredragsholder)
7 nov. 2002 → 9 nov. 2002
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag