S4LP and Local Realizability, TR-2007020, November, 2007
Justification Logics and Conservative Extensions, TR-2007015, July 2007
Realizing Substitution Instances of Modal Theorems, TR-2007006, March 2007
A Replacement Theorem for LP, TR-2006002, March 2006
Quantified LP, TR-2004019, December 2004
Semantics and Tableaus for LPS4, TR-2004016, October 2004
A Semantics for the Logic of Proofs, TR-2003012, September 2003