Peano's smart children: a provability logical study of systems with built-in consistency.
-
Published:1989-03-01
Issue:2
Volume:30
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On provability logics of Niebergall arithmetic;Izvestiya: Mathematics;2024
2. О логиках доказуемости арифметики Нибергалля;Известия Российской академии наук. Серия математическая;2024
3. The provability logic of all provability predicates;Journal of Logic and Computation;2023-09-25
4. The absorption law;Archive for Mathematical Logic;2020-12-16
5. Epistemic predicates in the arithmetical context;Journal of Logic and Computation;2020-09-25