I love the idea of constrained mazes like this. Another related idea is that of "plank puzzles" (http://www.clickmazes.com/planks/ixplanks.htm), which constrain available moves based on which planks you currently have access to.
…and for anyone wanting to try out more logic mazes, I suggest you check out one of the masters of creating them: Robert Abbott: http://logicmazes.com/
Yup, it's a very interesting page. I learnt about logic mazes there, after learning (and playing) Theseus and the minotaur. Just didn't want to add links to avoid sounding spammy (not implying that you do!)
One thing about the example mazes/solutions. On the hard one, isn't tqp-khe-bdc-a a faster solution to the hard one listed?/Doesn't going t-r first violate the red light rule?