Tin Lok Wong

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 4

Top Topics

Theorem Proving

Automated Deduction

Logical Foundations

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Publications

Stefan Hetzl, Tin Lok Wong
Some observations on the logical foundations of inductive theorem proving. Log. Methods Comput. Sci. 13 (4) (2017)
Stefan Hetzl, Tin Lok Wong
Restricted notions of provability by induction. CoRR (2017)
Ali Enayat, Tin Lok Wong
Unifying the model theory of first-order and second-order arithmetic via. Ann. Pure Appl. Log. 168 (6) (2017)
Sy-David Friedman, Wei Li, Tin Lok Wong
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. Arch. Math. Log. 55 (7-8) (2016)
Tin Lok Wong
Constant Regions in Models of Arithmetic. Notre Dame J. Formal Log. 56 (4) (2015)
Richard Kaye, Tin Lok Wong
Truth in generic cuts. Ann. Pure Appl. Log. 161 (8) (2010)
Richard Kaye, Tin Lok Wong
On Interpretations of Arithmetic and Set Theory. Notre Dame J. Formal Log. 48 (4) (2007)