Mark Reynolds's Online Papers Page

Up to Mark Reynolds' Research page. 
Mark ReynoldsThe Complexity of Temporal Logic over the Reals(1999).

Mark ReynoldsThe Complexity of the Temporal Logic with Until over General Linear Time(1999).

Mark Reynolds and Michael ZakharyaschevOn the products of linear modal logics(1999).

Mark ReynoldsAn Axiomatization of Full Computation Tree Logic(2000).

Maarten Marx, Szabolcs Mikulas and Mark ReynoldsThe Mosaic Method in Temporal Logics(2000).

Mark ReynoldsAn Axiomatization of PCTL*(2000).

Mark ReynoldsMore Past Glories(2000).

Mark Reynolds and Tim StokesTheorem proving in modal logic using Boolean rings (2000).

Tim French and Mark Reynolds A Sound and Complete Proof System for QPTL (2001).

Greg Mildenhall, Mark Reynolds and Tim StokesTheorem proving in modal logic using Boolean algebras (2002).

Mark ReynoldsTowards a CTL* Tableau(2005).

Mark ReynoldsA Tableau for CTL*(2009).