Forensic Lucid, intensional logic, formal methods, digital investigation