Research Output 1999 2018

Filter
Editorial
2011

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (ed.) & Braüner, T. (ed.) 2011 In : Electronic Notes in Theoretical Computer Science. 273, p. 1-2

Research output: Contribution to journalEditorialResearch

2010

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

Bolander, T. & Braüner, T. 2010 In : Electronical Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journalEditorialResearch

2009

Preface

Braüner, T. & Bolander, T. 2009 In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

2007

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J. 2007 In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

2006

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P. 2006 In : Synthese. 150, 3, p. 327-328 2 p.

Research output: Contribution to journalEditorialResearch