Tim French Mark Reynolds A Sound and Complete Proof System for QPTL. 127-148 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#FrenchR02