You are not currently logged in.
Access JSTOR through your library or other institution:
An Incomplete System of Modal Logic
George Boolos and Giovanni Sambin
Journal of Philosophical Logic
Vol. 14, No. 4 (Nov., 1985), pp. 351-358
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226333
Page Count: 8
You can always find the topics here!Topics: Logical theorems, Modal logic, Natural numbers, Mathematical theorems, Provability logic, Tautologies, Modus ponens, Terminology, Formalization, Unprovability
Were these topics helpful?See somethings inaccurate? Let us know!