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