@Book{		  basin.ea:labelled:2000,
  editor	= {David Basin and Marcello D'Agostino and Dov M. Gabbay and
		  Se{\'a}n Matthews and Luca Vigan{\`o}},
  title		= {Labelled Deduction},
  publisher	= {Kluwer Academic Publishers},
  year		= 2000,
  isbn		= 0792362373,
  language	= {USenglish},
  address	= {Dordrecht},
  abstract	= {Labelled Deduction is an approach to providing frameworks
		  for presenting and using different logics in a uniform and
		  natural way by enriching the language of a logic with
		  additional information of a semantic or proof-theoretic
		  nature.\\
		  
		  Labelled Deduction systems often possess attractive
		  properties such as modularity in the way that families of
		  related logics are presented, parameterized proofs of
		  metatheoretic properties, and ease of mechanizability. It
		  is thus not surprizing that Labelled Deduction has been
		  applied to problems in computer science, artificial
		  intelligence, mathematical logic, cognitive science,
		  philosophy, and computational linguistics, for example
		  formalizing and reasoning about dynamic `state oriented'
		  properties, such as knowledge, belief, time, space, and
		  resources.\\
		  
		  This book is a collection of state-of-the-art research on
		  Labelled Deduction. It is a followup of the First
		  International Workshop on Labelled Deduction, LD'98, that
		  was hosted by the University of Freiburg in September 1998,
		  and where some of the contributions of this volume were
		  first presented.},
  cover		= {2000/labded.png},
  num_pages	= 277,
  filelabel	= {additional information},
  file		= {additional/2000/labdedbook/}
}