Timothy J. Surendonk

Canonicity for Intensional Logics Without Iterative Axioms

Timothy J. Surendonk, 1997, J. Philos. Log..

On Isomorphisms between Canonical Frames

Timothy J. Surendonk, 1996, Advances in Modal Logic.

A Column Generation Approach to Delivery Planning over Time with Inhomogeneous Service Providers and Service Interval Constraints

Natashia Boland, Timothy J. Surendonk, 2001, Ann. Oper. Res..

A Lemma in the Logic of Action

Timothy J. Surendonk, 1990, Notre Dame J. Formal Log..

An algorithm for computing the inverse Z transform

Timothy J. Surendonk, Joel L. Schiff, Wayne J. Walker, 1992, IEEE Trans. Signal Process..

A Branch-and-Price Framework for the Maximum Covering and Patrol Routing Problem

Toby Walsh, Paul A. Chircop, Timothy J. Surendonk, 2021 .

Combining Finite Model Generation with Theorem Proving

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

Revising Some Basic Proofs in Belief Revision

Timothy J. Surendonk, 1997 .

An Error in Grove's Proof

Graham Priest, Timothy J. Surendonk, Koji Tanaka, 1996 .

Canonicity for Intensional Logics with Even Axioms

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

Constraint programming heuristics and software tools for amphibious embarkation planning

Timothy J. Surendonk, Paul A Chircop, Timothy J Surendonk, 2018, The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology.

Canonicity for intensional logics

Timothy J. Surendonk, Timothy John Surendonk, 1998 .