Billede af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

19992020

Publikationer pr. år

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

Aktiviteter

Filter
Foredrag og mundtlige bidrag

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Oplægsholder)

27 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Logical proofs: From mathematics to psychology

Torben Braüner (Oplægsholder)

30 okt. 2019

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

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

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 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 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

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

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 talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Foredragsholder)

30 sep. 2012

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: 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

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: From classical to intuitionistic hybrid logic

Torben Braüner (Foredragsholder)

23 jun. 2008

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

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