Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.

Eugenio Orlandelli, Giovanna Corsi

Browse the full CADE paper archive.