Logical Rl