| 2009 |
|---|
| 10 | EE | Thomas Bolander,
Patrick Blackburn:
Terminating Tableau Calculi for Hybrid Logics Extending K.
Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009) |
| 2008 |
|---|
| 9 | EE | Jens Hansen,
Thomas Bolander,
Torben Braüner:
Many-valued hybrid logic.
Advances in Modal Logic 2008: 111-132 |
| 2007 |
|---|
| 8 | EE | Thomas Bolander,
René Rydhof Hansen:
Hybrid Logical Analyses of the Ambient Calculus.
WoLLIC 2007: 83-100 |
| 7 | EE | Patrick Blackburn,
Thomas Bolander,
Torben Braüner,
Valeria de Paiva,
Jørgen Villadsen:
Preface.
Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007) |
| 6 | EE | Thomas Bolander,
Jens Ulrik Hansen,
Michael R. Hansen:
Decidability of a Hybrid Duration Calculus.
Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007) |
| 5 | EE | Thomas Bolander,
Patrick Blackburn:
Termination for Hybrid Tableaus.
J. Log. Comput. 17(3): 517-554 (2007) |
| 2006 |
|---|
| 4 | EE | Thomas Bolander,
Torben Braüner:
Tableau-based Decision Procedures for Hybrid Logic.
J. Log. Comput. 16(6): 737-763 (2006) |
| 2003 |
|---|
| 3 | | Thomas Bolander:
From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.
IJCAI 2003: 443-448 |
| 2002 |
|---|
| 2 | | Thomas Bolander:
Maximal Introspection of Agents.
CLIMA III 2002: 163-176 |
| 1 | EE | Thomas Bolander:
Maximal Introspection of Agents.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
