Advances in Modal Logic Volume 7

Advances in Modal Logic is a unique international forum for presenting 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 seventh conference in the AiML series, held in Nancy, France, in September 2008. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on the metatheory of a variety of modal logics; on systems for spatial and temporal reasoning and interpreting natural language; on the emerging coalgebraic perspective; and on historical views of the nature of modality.