Advances in Modal Logic, Volume 3
de Rijke, Maarten / Wansing, Heinrich / Wolter, Frank / Zakharyaschev, Michael
Advances in Modal Logic is a unique 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.Volume 3 presents substantial advance in the relational model theory and the algorithmic treatment of modal logi...