CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
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
Giovanna D'Agostino
,
Angelo Montanari
,
Alberto Policriti
1999-01-01
Cite
Publication
Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem
Related
Extensions of S1S and the composition method
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
×