New book - Hybrid Logic and its Proof-Theory
New book by Associate Professor Torben Braüner, Research Group Programming, Logic and Intelligent Systems, Department of Communications, Journalism and Computer Science, Roskilde University. The book is about the so-called hybrid logic, and it is the first treatment of this subject in book form.
Hybrid logic crosses the boundaries between computer science and philosophical logic, and is linked to the fact that information technology increasingly requires strong logics to relate computer systems to the human world. The book will be published in November 2010 and it is based on Torben Braüner's doctoral thesis from 2009. Part of the thesis will also be published as a chapter in the prestigious Handbook of Philosophical Logic.
For further information please contact:
Associate Professor Torben Braüner, Department of Communications, Journalism and Computer Science, Roskilde University, phone: 00 45 4674-3840, e-mail: torben(at)ruc.dk