Thomas Bolander

  1. 2007
  2. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, René Rydhof.

    Logic, Language, Information and Computation, Proceedings. Springer, 2007. p. 83-100 (Lecture Notes in Computer Science, Vol. 4576 ).

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

  3. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

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

  4. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Elsevier, 2007. (Electronic Notes in Theoretical Computer Science; No. 174).

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

  5. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). / Villadsen, Jørgen (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor).

    Trinity College Dublin, 2007. 90 p. (19th European Summer School in Logic, Language and Information (ESSLLI 2007)).

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

  6. Published

    Termination for Hybrid Tableaus. / Bolander, Thomas; Blackburn, Patrick.

    In: Journal of Logic and Computation, Vol. 17, No. 3, 2007, p. 517-554.

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

  7. 2006
  8. Published

    Introduction to self-reference. / Bolander, Thomas.

    Self-Reference. Stanford : CSLI Publications/Center for the Study of Language & Information, 2006.

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

  9. Published

    Proceedings of the International Workshop on Hybrid Logic : Federated Logic Conference, Seattle, USA. / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Federated Logic Conference, Seattle, USA, 2006.

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

  10. Published

    Self-Reference. / Bolander, Thomas; Hendricks, Vincent F. (Editor); Pedersen, Stig Andur (Editor).

    CSLI Publications/Center for the Study of Language & Information, 2006.

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

  11. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

  12. 2005
  13. Published

    Two Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    Proocedings of Methods for Modalitites 4. 2005. p. 79-96.

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

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