Badanie analizuje teoretyczne aspekty progresji pierwszego rzędu — metody reprezentacji zmian w świecie opisanym logiką pierwszego rzędu. Praca zajmuje się pytaniami dotyczącymi złożoności obliczeniowej i rozstrzygalności, czyli czy można algorytmicznie określić, czy dane zdania są konsekwencjami zmian stanu świata. Wyniki mają znaczenie dla sztucznej inteligencji, szczególnie w systemach reprezentacji wiedzy i rozumowania o dynamicznych zmianach.