a , ▁" On ▁Kal mar ' s ▁consist ency ▁proof ▁and ▁a ▁general ization ▁of ▁the ▁notion ▁of ▁om ega - cons ist ency ," ▁Archiv ▁für ▁Mathemat ische ▁Log ik ▁und ▁Grund lagen forsch ung ▁ 1 7 : ▁ 3 – 7 . ▁▁▁ 1 9 7 5 b , ▁" On ▁second - order ▁logic ," ▁Journal ▁of ▁Philosoph y ▁ 7 2 : ▁ 5 0 9 – 5 2 7 . ▁L LL . ▁▁▁ 1 9 7 6 , ▁" On ▁dec iding ▁the ▁truth ▁of ▁certain ▁statements ▁involving ▁the ▁notion ▁of ▁consist ency ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 1 : ▁ 7 7 9 – 7 8 1 . ▁▁▁ 1 9 7 7 , ▁" On ▁dec iding ▁the ▁prov ability ▁of ▁certain ▁fixed ▁point ▁statements ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 2 : ▁ 1 9 1 – 1 9 3 . ▁▁▁ 1 9 7 9 , ▁" Ref lection ▁principles ▁and ▁iter ated ▁consist ency ▁assert ions ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 4 : ▁ 3 3 – 3 5 . ▁▁▁ 1 9 8 0 , ▁" Omega - cons ist ency ▁and ▁the ▁diam ond ," ▁Stud ia ▁Log ica ▁ 3 9 : ▁ 2 3 7 – 2 4 3 . ▁▁▁ 1 9 8 0 a , ▁" On ▁systems ▁of ▁modal ▁logic ▁with ▁prov ability ▁interpret ations ," ▁The oria ▁ 4 6 :