Giovanna Corsi

Learn More
Counterpart semantics is proposed as the appropriate semantical framework for a foundational investigation of quantified modal logics. It turns out to be a limit case of the categorical semantics of relational universes introduced by Ghi-lardi and Meloni in 1988. The main result is a deeper understanding of the interplay between substitution, quantification(More)