Abstract
In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor such a translation to work with specific cases of extended modal logics.
Similar content being viewed by others
References
P. Aczel, Non-well-founded sets, CSLI, Lecture Notes No. 14, 1988.
J. Barwise, Admissible sets and structures, Springer Verlag, 1975.
J. Barwise and L. Moss, Vicious Circles, CSLI, Lecture Notes No. 60, 1996.
J. van Benthem, ‘Syntactic aspects of modal incompleteness theorems’, Theoria 45:67–81, 1979.
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., Dordrecht-Holland, 1983, 275–329.
J. van Benthem, Modal Logic and Classical Logic, Bibliopolis, Napoli and Atlantic Heights (N.J.), 1985.
J. van Benthem, G. D'Agostino, A. Montanari and A. Policriti, ‘Modal Deduction in Second-Order Logic and Set Theory — I’, Journal of Logic and Computation 7(2): 251–265, 1997.
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.
P. Bernays, ‘A system of axiomatic set theory. Part I’, Journal of Symbolic Logic 2:65–77, 1937.
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.
G. D'Agostino, A. Montanari and A. Policriti, ‘A set-theoretic translation method for polymodal logics’, Journal of Automated Reasoning 15:317–337, 1995.
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.
D. M. Gabbay, ‘An irreflexivity lemma with applications to axiomatizations of conditions on tense frames’, in Aspects of Philosophical Logic, U. Mönnich (ed.); D. Reidel Pub. Comp., Dordrecht-Holland, 1981, 67–89.
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.
J. L. Krivine, Introduction to Axiomatic Set Theory, D. Reidel Pub. Comp., Dordrecht-Holland, 1971.
M. Marx and Y. Venema, Many-Dimensional Modal Logic, Kluwer Academic Press, Dordrecht, 1997.
M. de Rijke, ‘The modal logic of inequality’, Journal of Symbolic Logic 57:566–584, 1992.
M. de Rijke, ‘Extending Modal Logic’, ILLC Dissertation Series 1993-4, 1993.
S. K. Thomason, ‘Reduction of Tense Logic to Modal Logic II’, Theoria 41:154–169, 1975.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Benthem, J., D'Agostino, G., Montanari, A. et al. Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60, 387–420 (1998). https://doi.org/10.1023/A:1005037512998
Issue Date:
DOI: https://doi.org/10.1023/A:1005037512998