Advances in Intensional Logic

Intensional logics have their origin and use in research areas ranging from linguistics, cognitive science and artificial intelligence, to philosophy and computer science. This volume presents an up-to-date account of current trends in intensional logic. Consisting of nine original research papers preceded by a survey of recent developments, the book highlights recent advances in a number of interdisciplinary areas, including traditional philosophical concerns about correct descriptions and abstract objects; the use of intensional languages as descriptive tools for finite graphs; proof-theoretical considerations; general strategies of 'modalizing' calculi usually perceived to be non-modal; and mathematical foundations of intensional logics. The book is aimed at graduate students and researchers in pure and applied logic.