No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992018
If you made any changes in Pure these will be visible here soon.

Research Output 1999 2018

Filter
Anthology
2012

Advances in Modal Logic

Bolander, T. (ed.), Braüner, T. (ed.), Ghilardi, S. (ed.) & Moss, L. (ed.) 2012 College Publications. 592 p.

Research output: Book/ReportAnthologyResearch

2011

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (ed.) & Braüner, T. (ed.) 2011 Elsevier. 68 p. (Electronic Notes in Theoretical Computer Science; No. 273).

Research output: Book/ReportAnthologyResearch

2010

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. (ed.) & Braüner, T. (ed.) 2010 Elsevier. 262 p. (Electronic Notes in Theoretical Computer Science; No. 262).

Research output: Book/ReportAnthologyResearch

2009

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (ed.) & Bolander, T. (ed.) 2009 Springer. (Journal of Logic, Language and Information; No. 4, Vol. 18).

Research output: Book/ReportAnthologyResearch

Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

Braüner, T. (ed.) & Bolander, T. (ed.) 2009 Roskilde: Roskilde Universitet. 263 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 128).

Research output: Book/ReportAnthologyResearch

2007

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Braüner, T. (ed.), Blackburn, P. (ed.), Bolander, T. (ed.), de Paiva, V. & Villadsen, J. (ed.) 2007 Pergamon Press. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Braüner, T. (ed.), Villadsen, J. (ed.) & Bolander, T. (ed.) 2007 Dublin: ESSLLI. 95 p.

Research output: Book/ReportAnthologyResearch

2006

The Logic of Time and Modality

Braüner, T. (ed.), Hasle, P. (ed.) & Øhrstrøm, P. (ed.) 2006 Kluwer Academic Publishers. 192 p. (Synthese; No. 3, Vol. 150).

Research output: Book/ReportAnthologyResearch

2003

Revised and expanded edition of Arthur N. Prior: Papers on Time and Tense

Braüner, T. (ed.), Hasle, P. (ed.), Øhrstrøm, P. (ed.) & Copeland, J. (ed.) 2003 Oxford University Press. 342 p.

Research output: Book/ReportAnthologyResearch