Logical Methods in Computer Science | Revista