Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Aktiviteter 2002 2019

Filter
Foredrag og mundtlige bidrag

Logic in progress talk

Torben Braüner (Oplægsholder)
23 maj 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited mini-course on hybrid logic

Torben Braüner (Oplægsholder)
11 dec. 201713 dec. 2017

Aktivitet: Tale eller præsentationForedrag 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æsentationForedrag 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æsentationForedrag og mundtlige bidrag

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Oplægsholder)
8 maj 201712 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Oplægsholder)
23 maj 201625 maj 2016

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Foredragsholder)
6 jan. 201417 jan. 2014

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Foredragsholder)
5 dec. 2013

Aktivitet: Tale eller præsentationForedrag 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æsentationForedrag 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æsentationForedrag og mundtlige bidrag

Invited mini-course

Torben Braüner (Foredragsholder)
14 maj 201218 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Foredragsholder)
30 sep. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Foredragsholder)
8 apr. 20119 apr. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Foredragsholder)
27 sep. 201129 sep. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Foredragsholder)
4 dec. 20086 dec. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Foredragsholder)
23 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Introductory lecture on hybrid logic

Torben Braüner (Foredragsholder)
6 aug. 200710 aug. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Foredragsholder)
7 nov. 20029 nov. 2002

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag