Path A Logic