In recent years there has been an increasing use of logical
methods and significant new developments have been spawned in several
areas of computer science, ranging from artificial intelligence and
software engineering to agent-based systems and the semantic web.
In the investigation and application of logical methods there is
a tension between: