Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.

Serenella Cerrito, Marta Cialdea Mayer

Browse the full CADE paper archive.