@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,
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.}
}