Modalitate si incompletitudine. Logica modala ca logica de ordin superior

?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