Torben Braüner

Søgeresultater

• 2012

  Advances in Modal Logic

  Bolander, T. (Redaktør), Braüner, T. (Redaktør), Ghilardi, S. (Redaktør) & Moss, L. (Redaktør), 2012, College Publications. 592 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2011

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

  Bolander, T. (Redaktør) & Braüner, T. (Redaktør), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
• 2010

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

  Bolander, T. (Redaktør) & Braüner, T. (Redaktør), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2009

  HYBRID LOGIC: Dedicated to the Memory of Volker Weber

  Braüner, T. (Redaktør) & Bolander, T. (Redaktør), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

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

  Braüner, T. (Redaktør) & Bolander, T. (Redaktør), 2009, Roskilde: Roskilde Universitet. 263 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 128).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2007

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

  Braüner, T. (Redaktør), Blackburn, P. (Redaktør), Bolander, T. (Redaktør), de Paiva, V. & Villadsen, J. (Redaktør), 2007, Pergamon Press. 148 s. (Electronic Notes in Theoretical Computer Science; Nr. 6, Bind 174).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

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

  Braüner, T. (Redaktør), Villadsen, J. (Redaktør) & Bolander, T. (Redaktør), 2007, Dublin: ESSLLI. 95 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2006

  The Logic of Time and Modality

  Braüner, T. (Redaktør), Hasle, P. (Redaktør) & Øhrstrøm, P. (Redaktør), 2006, Kluwer Academic Publishers. 192 s. (Synthese; Nr. 3, Bind 150).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2003

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

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

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning