PP-2002-20: Corsi, Giovanna (2002) Counterpart Semantics. A Foundational study on Quantified Modal Logics. [Report]
PP-2001-22: Corsi, Giovanna (2001) A Unifying Completeness Theorem in Quantified Modal logic. [Report]