▁ 7 – 1 8 . ▁▁▁ 1 9 8 0 b , ▁" Pro v ability ▁in ▁arithmetic ▁and ▁a ▁schema ▁of ▁Gr zeg or czy k ," ▁Fund ament a ▁Mathemat ica e ▁ 1 0 6 : ▁ 4 1 – 4 5 . ▁▁▁ 1 9 8 0 c , ▁" Pro v ability , ▁truth , ▁and ▁modal ▁logic ," ▁Journal ▁of ▁Philosoph ical ▁Log ic ▁ 9 : ▁ 1 – 7 . ▁▁▁ 1 9 8 0 d , ▁Review ▁of ▁Raymond ▁M . ▁Sm ul ly an , ▁What ▁is ▁the ▁Name ▁of ▁This ▁Book ? ▁The ▁Philosoph ical ▁Review ▁ 8 9 : ▁ 4 6 7 – 4 7 0 . ▁▁▁ 1 9 8 1 , ▁" For ▁every ▁A ▁there ▁is ▁a ▁B ," ▁L ingu istic ▁In qu iry ▁ 1 2 : ▁ 4 6 5 – 4 6 6 . ▁▁▁ 1 9 8 1 a , ▁Review ▁of ▁Robert ▁M . ▁Sol ov ay , ▁Prov ability ▁Inter pret ations ▁of ▁Mod al ▁Log ic ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 6 : ▁ 6 6 1 – 6 6 2 . ▁▁▁ 1 9 8 2 , ▁" Ext rem ely ▁und ec id able ▁sentences ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 4 7 : ▁ 1 9 1 – 1 9 6 . ▁▁▁ 1 9 8 2 a , ▁" On ▁the ▁none x istence ▁of ▁certain ▁normal ▁forms