What is a Logical System?
Dov M. Gabbay · 1994
Abstract There is an increasing demand from computer science, linguistics and philosophy for a variety of logical systems. This is prompted by the extensive applications of logic in theoretical computer science, artificial intelligence and logic programming. In these fields there is a growing need for a diversity of semantically meaningful and algorithmically presented logical systems which can serve various applications. Therefore renewed research activity is being devoted to analysing and tinkering with old and new logics.