Thomas Bolander

  1. 2010
  2. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: ResearchConference article – Annual report year: 2011

  3. Published

    Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009. / Bolander, Thomas (Editor); Braüner, Torben (Editor).

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-262.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2010

  4. Published

    Two approaches to termination and completeness of hybrid tableaus. / Bolander, Thomas.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  5. 2009
  6. Published

    Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben (Editor); Bolander, Thomas (Editor).

    Springer Science+Business Media B.V., 2009. (Journal of Logic, Language and Information; No. 18(4)).

    Publication: Research - peer-reviewBook – Annual report year: 2009

  7. Published

    Logik, computere og kunstig intelligens. / Bolander, Thomas; Nilsson, Jørgen Fischer; Villadsen, Jørgen.

    Matematiske horisonter. Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2009. p. 218-233.

    Publication: EducationBook chapter – Annual report year: 2009

  8. Published

    Preface : Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben; Bolander, Thomas.

    In: Journal of Logic, Language and Information, Vol. 18, No. 4, 2009, p. 435-436.

    Publication: Research - peer-reviewEditorial – Annual report year: 2009

  9. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

    Publication: Research - peer-reviewConference article – Annual report year: 2009

  10. 2008
  11. Published

    Many-Valued Hybrid Logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    Advances in Modal Logic. Vol. 7 College Publications, 2008. p. 111-132.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  12. Published

    Self-reference. / Bolander, Thomas.

    Stanford Encyclopedia of Philsophy. CSLI Publications/Center for the Study of Language & Information, 2008.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2008

  13. 2007
  14. Published

    Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Michael Reichhardt; Hansen, Jens Ulrik.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, 2007, p. 113-133.

    Publication: Research - peer-reviewConference article – Annual report year: 2007

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word