CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Giovanna D'Agostino
Latest
Wheeler Languages
Mapping Sets and Hypersets into Numbers
Extensions of S1S and the composition method
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem
Modal deduction in second-order logic and set theory. II
Modal deduction in second-order logic and set theory. I
Set-theoretic decidability results for modal theorem proving
A set-theoretic translation method for (poly)modal logics
A set-theoretic translation method for polymodal logics
Cite
×