Aktiviteter pr. år
Aktiviteter 2002 2019
- 19 resultater
- Startdato (faldende)
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
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 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
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 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
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
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 mini-course
Torben Braüner (Foredragsholder)14 maj 2012 → 18 maj 2012
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
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: 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
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
Invited talk: From classical to intuitionistic hybrid logic
Torben Braüner (Foredragsholder)23 jun. 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