Modal logic is one of the most widely applied logical formalisms. Systems of
modal logic are being used in many disciplines, ranging from artificial
intelligence, computer science, mathematics, formal grammar and semantics to
philosophy. This volume presents substantial recent advances in the
relational
and the algorithmic treatment of modal logics. It contains papers from the
fifth conference on "Advances in Modal logic," held in Manchester (UK) in
September 2004. Written by leading experts in the field, the present book is
indispensable for any advanced student and researcher in pure and
applied modal
logic.
