Set-theoretic decidability results for modal theorem proving

D'AGOSTINO G

MONTANARI A

POLICRITI A