Logic in computer science has to fulfil several tasks. First of all, it is a tool with which computer programs can describe the world. Logic is used for databases or for creating artificial ...