I am attempting to implement Dynamic Logic (DL) as part of a robot's vision systems. The team I am working with has been reading papers on the topic for several months now, but we have found the notation to be nonstandard and the wording to be inconsistent. Most of this literature also assumes significant knowledge of only tangentially related fields that one could spend a lifetime studying.

Could someone with experience in this area please point me towards an existing programmatic implementation of DL (preferably in Python, C, Java, or LISP) and/or a collection of papers clear enough to explain DL to people without a substantial background in Fuzzy Logic, Neural Modelling Fields, or Neuroscience?

Thanks in advance,
jrobot