Tim and Action Logic (TAL)
Reference article
A reference article about the TAL approach can be found
here
.
Active researchers
Active researchers in this approach are in particular:
Patrick Doherty
(More to be added)