Me too, it sounds intriguing. But if it happens to be an extension of first order predicate logic which includes states, then I think it could be another barrier to progress. Note what a mess the CYC group have made of trying to model human concepts http://www.cyc.com/ with heavy reliance on first order predicate logic.

The best logic I've seen to date for helping model human conception is Fred Sommers's Term Functor Logic: http://www.formalontology.it/sommersf.htm

A great book on the Logic: http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-S...