Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Willard, Dan E.
2002.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 2381,
Issue. ,
p.
281.
2003.
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
71.
2003.
2002 Annual Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
51.
Salehi, Saeed
2005.
Polynomially Bounded Recursive Realizability.
Notre Dame Journal of Formal Logic,
Vol. 46,
Issue. 4,
Willard, Dan E.
2005.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 3702,
Issue. ,
p.
292.
Willard, Dan E.
2006.
A generalization of the Second Incompleteness Theorem and some exceptions to it.
Annals of Pure and Applied Logic,
Vol. 141,
Issue. 3,
p.
472.
Willard, Dan E.
2006.
The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem.
Electronic Notes in Theoretical Computer Science,
Vol. 165,
Issue. ,
p.
213.
Wainer, Stan S.
2006.
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.
Bulletin of Symbolic Logic,
Vol. 12,
Issue. 2,
p.
310.
Steel, John
2006.
2005 Annual Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 12,
Issue. 1,
p.
143.
Groszek, Marcia
2007.
2006–07 Winter Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 3,
p.
375.
Willard, Dan E.
2007.
Passive induction and a solution to a Paris–Wilkie open question.
Annals of Pure and Applied Logic,
Vol. 146,
Issue. 2-3,
p.
124.
Valeriote, Matthew
2007.
2006 Annual Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 1,
p.
120.
Laskowski, Chris
2008.
2008 Annual Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
418.
Remmel, Jeffrey
2008.
2007-2008 Winter Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
402.
Willard, Dan E.
2009.
Some specially formulated axiomizations for IΣ0manage to evade the Herbrandized version of the Second Incompleteness Theorem.
Information and Computation,
Vol. 207,
Issue. 10,
p.
1078.
Neeman, Itay
2012.
2011 North American Annual Meeting of the Association for Symbolic Logic.
The Bulletin of Symbolic Logic,
Vol. 18,
Issue. 2,
p.
275.
Salehi, Saeed
2013.
Herbrand consistency of some finite fragments of bounded arithmetical theories.
Archive for Mathematical Logic,
Vol. 52,
Issue. 3-4,
p.
317.
Willard, Dan E.
2014.
Logic, Language, Information, and Computation.
Vol. 8652,
Issue. ,
p.
221.
Enayat, Ali
and
Wong, Tin Lok
2017.
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎.
Annals of Pure and Applied Logic,
Vol. 168,
Issue. 6,
p.
1247.
Willard, Dan E
2021.
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction.
Journal of Logic and Computation,
Vol. 31,
Issue. 1,
p.
375.