Virginia Vaccaro

Modal logic and model theory

Giangiacomo Gerla, Virginia Vaccaro, 1984 .

Axiomatic set theory and unincreasable infinity

Monte S. Angelo, R. Caccioppoli, Ulderico Dardano, 2014 .

A new proof of Sahlqvist's theorem on modal definability and completeness

Giovanni Sambin, Virginia Vaccaro, G. Sambin, 1989, Journal of Symbolic Logic.

Topology and duality in modal logic

Giovanni Sambin, Virginia Vaccaro, G. Sambin, 1988, Ann. Pure Appl. Log..