Arithmetic and Modal Logic