CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Set-theoretic decidability results for modal theorem proving
Giovanna D'Agostino
,
Angelo Montanari
,
Alberto Policriti
1996-01-01
Cite
Type
Conference paper
Publication
Theoretical computer science (Ravello, 1995)
Related
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
A set-theoretic translation method for polymodal logics
Cite
×