Timothy J. Surendonk

发表

Canonicity for Intensional Logics with Even Axioms

Timothy J. Surendonk, Timothy J. Surendonk, 2001, Journal of Symbolic Logic.

A Non-Standard Injection Between Canonical Frames

Timothy J. Surendonk, 1996, Log. J. IGPL.

Combining Finite Model Generation with Theorem Proving: Problems and Prospects

John K. Slaney, Timothy J. Surendonk, 1996, FroCoS.

Making maximal reliable action maximal

Timothy J. Surendonk, 2008 .