Modal deduction in second-order logic and set theory - I

Journal of Logic and Computation

Volumn 7, Issue 2, 1997, Pages 251-265

  Van Benthem, Johan ^a   D'Agostino, Giovanna ^b   Montanari, Angelo ^a,b   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: 0009724949     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.2.251     Document Type: Article

References (20)

1. P. Aczel. Non-well-founded Sets. CSLI, Lecture Notes No. 14, 1988.
2. J. Barwise. Admissible Sets and Structure. Springer-Verlag, 1975.
3. J. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, 45, 67-81, 1979.
4. J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napoli and NJ, 1985.
5. J. van Benthem, G. D'Agostino, A. Montanari and A. Policriti. Modal deduction in second-order logic and set theory. Technical Report ML-95-02, ILLC Prepublication Series, Mathematical Logic and Foundations, 1995.
6. J. van Benthem, G. D'Agostino, A. Montanari and A. Policriti. Modal deduction in second-order logic and set theory - II. Technical report ML-96-08. ILLC Prepublication Series, Mathematical Logic and Foundations, 1996.
7. J. van Benthem and K. Doets. Higher-order logic. In Handbook of Philosophical Logic, Vol. I, D. Gabbay and F. Guenthner, eds. pp. 275-329. D. Reidel, Dordrecht, 1983.
8. J. P. Burgess. Basic tense logic. In Handbook of Philosophical Logic. Vol. II, D. Gabbay and F. Guenthner, eds. pp. 89-133. D. Reidel, Dordrecht, 1984.
9. G. D'Agostino, A. Montanari and A. Policriti. Set-theoretic decidability results for modal logic. Technical Report 21/95, Dipartimento di Matematica e Informatica, Università di Udine, 1995.
10. G. D'Agostino, A. Montanari and A. Policriti. Set-theoretic decidability results for modal theorem proving. In Proceedings of 5th Italian Conference on Theoretical Computer Science, pp. 326-342. World Scientific Publishing Co., 1996.
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. D. M. Gabbay. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. In Aspects of Philosophical Logic, U. Mönnich, ed. pp. 67-89. D. Reidel, Dordrecht, 1981.
13. K. Gödel. The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory. Annals of Mathematical Studies, 3, 1940. Princeton University Press, Princeton, NJ.
14. T. Jech. Set Theory. Pure and Applied Mathematics Series, Academic Press, 1978.
15. J. L. Krivine. Introduction to Axiomatic Set Theory. D. Reidel, Dordrecht, 1971.
16. A. Nonnengart. First-order modal logic theorem proving and functional simulation. In Proceedings of 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Chambery. France, pp. 80-85, 1993.
17. H. J. Ohlbach. Semantic-based translation methods for modal logics. Journal of Logic and Computation, 1, 691-746, 1991.
18. H. J. Ohlbach. Translation methods for non-classical logics: An overview. Bulletin of the IGPL, 1, 69-89, 1993.
19. M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, 57, 566-584, 1992.
20. S. K. Thomason. Reduction of tense logic to modal logic-ii. Theoria, 41, 154-169, 1975.