Set-theoretic decidability results for modal theorem proving

D'AGOSTINO, Giovanna

MONTANARI, Angelo

POLICRITI, Alberto