PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Remove cover picture
Cancel
Vann McGee
Massachusetts Institute of Technology
Home
Publications
91
Most Recent
Most Downloaded
Topics
Events
2
News and Updates
2
More details
Massachusetts Institute of Technology
Department of Linguistics and Philosophy
Professor
Cambridge, Massachusetts, United States of America
Areas of Interest
Metaphysics
Philosophy of Language
Logic and Philosophy of Logic
Philosophy of Mathematics
Philosophy of Probability
All publications (
91
)
23
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.)
(review)
Journal of Symbolic Logic
56 (1): 329-332. 1991.
Logic and Philosophy of Logic
Logics
Prev.
1
2
3
4
Next