Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

by Marie Du, Björn Jespersen, Pavel Materna, et al.

This book is about Transparent Intensional Logic, the brainchild of Pavel Tich?. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now? For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises...

• Format: Paperback
• Language: English
• ISBN: 9400732783
• ISBN13: 9789400732780
• Release Date: September 2012
• Publisher: Springer
• Length: 550 Pages
• Weight: 1.73 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"