dblp.uni-trier.dewww.uni-trier.de

Thomas Bolander Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEThomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
2008
9EEJens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132
2007
8EEThomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
7EEPatrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
6EEThomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)
5EEThomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
2006
4EEThomas 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
1EEThomas Bolander: Maximal Introspection of Agents. Electr. Notes Theor. Comput. Sci. 70(5): (2002)

Coauthor Index

1Patrick Blackburn [5] [7] [10]
2Torben Braüner [4] [7] [9]
3Jens Hansen [9]
4Jens Ulrik Hansen [6]
5Michael R. Hansen [6]
6René Rydhof Hansen [8]
7Valeria de Paiva [7]
8Jørgen Villadsen [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)