PP-2001-22: Giovanna Corsi A Unifying Completeness Theorem in Quantified Modal logic 1.Full Text, 2.Abstract. < Back
