Giovanna D'Agostino
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 1998 | ||
|---|---|---|
| 4 | Modal Deduction in Second-Order Logic and Set Theory - II. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. Studia Logica (60): 387-420 (1998). Web SearchBibTeXDownload | |
| 1997 | ||
| 3 | Modal Deduction in Second-Order Logic and Set Theory - I. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Log. Comput. (7): 251-265 (1997). Web SearchBibTeXDownload | |
| 1995 | ||
| 2 | A Set-Theoretic Translation Method for Polymodal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Autom. Reasoning (15): 317-337 (1995). Web SearchBibTeXDownload | |
| 1 | A Set-Theoretic Translation Method for (Poly)modal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. STACS 1995, 217-228. Web SearchBibTeXDownload | |
from DBLP and Google Scholar