Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic |
|
| Author:
| Duží, Marie
Jespersen, Bjorn
Materna, Pavel |
| Series title: | Logic, Epistemology, and the Unity of Science Ser. |
| ISBN: | 978-90-481-8812-3 |
| Publication Date: | Jul 2010 |
| Publisher: | Springer
|
| Book Format: | Ebook |
| List Price: | USD $369.00 |
Book Description:
|
This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.
This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.