Thomas Bolander

	2011
15		Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 273: 1-2 (2011)
14		Thomas Bolander, M. Birkegaard Andersen: Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics 21(1): 9-34 (2011)
	2010
13		Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 262: 1-2 (2010)
12		Thomas Bolander, René Rydhof Hansen: Hybrid logical analyses of the ambient calculus. Inf. Comput. 208(5): 433-449 (2010)
	2009
11		Thomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
10		Torben Braüner, Thomas Bolander: Preface. Journal of Logic, Language and Information 18(4): 435-436 (2009)
	2008
9		Jens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132
	2007
8		Thomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
7		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		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		Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
	2006
4		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 2002: 163-176
1		Thomas Bolander: Maximal Introspection of Agents. Electr. Notes Theor. Comput. Sci. 70(5): 183-198 (2002)

Coauthor Index

1	M. Birkegaard Andersen	[14]
2	Patrick Blackburn	[5] [7] [11]
3	Torben Braüner	[4] [7] [9] [10] [13] [15]
4	Jens Hansen	[9]
5	Jens Ulrik Hansen	[6]
6	Michael R. Hansen (Michael Rygaard Hansen)	[6]
7	René Rydhof Hansen	[8] [12]
8	Valeria de Paiva	[7]
9	Jørgen Villadsen	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page