Thomas Bolander

  1. Research › Journal article
  2. E-pub ahead of print

    Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, Hans; Jensen, Martin Holm.

    In: Synthese, 2016.

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

  3. Published

    Don't Plan for the Unexpected: Planning Based on Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    In: Logique et Analyse, Vol. 58, No. 230, 2015.

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

  4. E-pub ahead of print

    Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    In: Journal of Logic and Computation, 2015, p. 1-27.

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

  5. Published

    Announcements to Attentive Agents. / Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas ; Lorini, Emiliano ; Pardo, Pere ; Schwarzentruber, Francois .

    In: Journal of Logic, Language and Information, Vol. 25, No. 1, 2016, p. 1-35.

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

  6. Published

    Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.

    In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.

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

  7. Published

    Maximal Introspection of Agents. / Bolander, Thomas.

    In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002, p. 1-16.

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

  8. Published

    Om Gödels sætning. / Bolander, Thomas; Jensen, Helge Elbrønd.

    In: Normat, Vol. 50, No. 1, 2002, p. 15-29.

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

  9. Published

    Self-Reference and Logic. / Bolander, Thomas.

    In: Phi News, Vol. 1, 2002, p. 9-44.

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

  10. 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

  11. 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

Previous 1 2 3 4 5 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word