CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Extensions of S1S and the composition method
Giovanna D'Agostino
,
Angelo Montanari
,
Alberto Policriti
2006-01-01
Cite
Type
Conference paper
Publication
Proceedings of JM 06: 11th Mons Days of Theoretical Computer Science,
Related
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 polymodal logics
Cite
×