В качестве отправной точки можно взглянуть на изложения Поспелова (Поспелов Д.А. Ситуационное управление. Теория и практика. - 1986):
http://raai.org/about/persons/pospelov/ ... pravl.djvu

гл. 5.2, стр. 223 -- насчёт программы "логик-теоретик" (не помню всего, но у автора проблематика логики размазана по всей книге, поэтому м.б. есть и ещё чего-то такого).