Title: Advances in Intensional Logic
Description: This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.
Subjects: Intention (logic), Artificial Intelligence (incl. Robotics), Computational linguistics, Logic, Philosophy, Philosophy (General), Artificial intelligence, Symbolic and mathematical Logic, Mathematical Logic and Foundations