„Logica modala propozitionala este adesea conceputa ca o generalizare a logicii clasice propozitionale, dar se poate construi un bun argument ca cea dintai trebuie vazuta ca o forma restransa a logicii clasice de ordinul al doilea! Lucrarea de fata considera un aspect interesant al acestei legaturi de ordinul al doilea, care se leaga de un curios fenomen de incompletitudine.“ (Melvin Fitting)