Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Zobraziť viac
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools,... Zobraziť viac
