Modal Deduction in Second-Order Logic and Set Theory - II

Studia Logica

Volumn 60, Issue 3, 1998, Pages 387-420

  Van Benthem, Johan ^a   D'Agostino, Glovanna ^b   Montanari, Angeld ^a   Policriti, Alberto ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Modal Deduction; Modal Logic; Second Order Logic; Set theory; Translation Methods

Indexed keywords

EID: 54649085104     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005037512998     Document Type: Article

References (19)

1. P. ACZEL, Non-well-founded sets, CSLI, Lecture Notes No. 14, 1988.
2. J. BARWISE, Admissible sets and structures, Springer Verlag, 1975.
3. J. BARWISE and L. Moss, Vicious Circles, CSLI, Lecture Notes No. 60, 1996.
4. J. VAN BENTHEM, 'Syntactic aspects of modal incompleteness theorems', Theoria 45:67-81, 1979.
5. J. VAN BENTHEM and K. DOETS, 'Higher-Order Logic', in Handbook of Philosophical Logic. Vol. I, D. Gabbay and F. Guenthner (eds.); D. Reidel Pub. Comp., DordrechtHolland, 1983, 275-329.
6. J. VAN BENTHEM, Modal Logic, and Classical Logic, Bibliopolis, Napoli and Atlantic Heights (N.J.), 1985.
7. J. VAN BENTHEM, G. D'AGOSTINO, A. MONTANARI and A. POLICRITI, 'Modal Deduction in Second-Order Logic and Set Theory - F, Journal of Logic and Computation 7(2): 251-265, 1997.
8. J. VAN BENTHEM, G. D'AGOSTINO, A. MONTANARI, A. POLICRITI, 'Modal deduction in Second-Order Logic and Set Theory - II', Research Report, in the ILLC-series, ML-96-08, University of Amsterdam, July 1996.
9. P. BERNAYS, 'A system of axiomatic set theory. Part F, Journal of Symbolic Logic 2:65-77, 1937.
10. [101 J- P- BURGESS, 'Basic Tense Logic', in Handbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner (eds.); D. Reidel Pub. Comp., Dordrecht-Holland, 1984, 89-133.
11. G, D'AGOSTINO, A. MONTANARI and A. POLICRITI, 'A set-theoretic translation method for polymodal logics', Journal of Automated Reasoning 15:317-337, 1995.
12. G. D'AGOSTINO, A. MONTANARI and A. POLICRITI, Set-theoretic decidability results for modal theorem proving, Proceedings of ICTCS'95: 5th Italian Conference on Theoretical Computer Science, World Scientific Publishing Co., 1996, 326-342.
13. D. M. GABBAY, 'An irreflexivity lemma with applications to axiomatizations of conditions on tense frames', in Aspects of Philosophical Logic, U. Monnich (ed.); D. Reidel Pub. Comp., Dordrecht-Holland, 1981, 67-89.
14. K. GÖDEL, 'The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory', 1940, in Kurt GÖdel Collected works -Volume II (Publications 1938-1974), S. Feferman et al. (eds.); Oxford University Press, 1990, 33-101.
15. J. L. KRIVINE, Introduction to Axiomatic Set Theory, D. Reidel Pub. Comp., Dordrecht-Holland, 1971.
16. M. MARX and Y. VENEMA, Many-Dimensional Modal Logic, Kluwer Academic Press, Dordrecht, 1997.
17. M. DE RIJKE, 'The modal logic of inequality', Journal of Symbolic Logic 57:566-584, 1992.
18. M. DE RIJKE, 'Extending Modal Logic', ILLC Dissertation Series 1993-4, 1993.
19. S. K. THOMASON, 'Reduction of Tense Logic to Modal Logic II', Theoria 41:154-169, 1975.