Thomas Bolander - Publications

1 - 10 out of 34Page size: 10

RSS feed of this list

Sort by: Type and 1st author

Research › Journal article
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-review › Journal article – Annual report year: 2010
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-review › Journal article – Annual report year: 2002
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-review › Journal article – Annual report year: 2002
Published
Self-Reference and Logic. / Bolander, Thomas.
In: Phi News, Vol. 1, 2002, p. 9-44.
Publication: Research - peer-review › Journal article – Annual report year: 2002
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-review › Journal article – Annual report year: 2006
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-review › Journal article – Annual report year: 2007
Research › Conference article
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-review › Conference article – Annual report year: 2007
Published
Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.
In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.
Publication: Research - peer-review › Conference article – Annual report year: 2010
Published
Preface. / Bolander, Thomas; Braüner, Torben.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.
Publication: Research › Conference article – Annual report year: 2011
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-review › Conference article – Annual report year: 2009

Previous 1 2 3 4 Next