Advances in Modal Logic Volume 8

Advances in Modal Logic is a unique international forum representing
the latest results and new directions of research in Modal Logic
broadly conceived. The topics dealt with are of interdisciplinary
interest and range from mathematical, computational, and philosophical
problems to applications in knowledge representation and formal
linguistics.
This volume contains invited and contributed papers from the eighth
conference in the AiML series, held in Moscow, Russia, in August 2010.
It reports on substantial advances, both in the foundations of modal
logic and in a number of application areas. It includes papers on
general problems in model theory, proof theory and algorithmic
properties of modal logics, on systems for spatial, temporal and
epistemic reasoning, on related kinds of logics - description,
relevance, substructural, intuitionistic, and on related topics in
algebraic logic.