, J. van Benthem 1 , G. D'Agostino 2 and A. Montanari 1,2 A. Policriti 2 and 1ILLC, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands 2Dipartimento di Matematica e Informatica, Unversita di Udine, Via delle Scienze 206, 33100 Udine, Italy
We investigate modal deduction through translation into standard logic and set theory. In a previous paper, using a set-theoretic translation method, we proved that derivability in the minimal modal logicK
scorresponds precisely to derivability in a weak, computationally attractive set theory [Omega]. In this paper, this approach is shown equivalent to working with standard first-order translations of modal formulae in a theory of general frames. The employed techniques are mainly model-theoretic and set-theoretic, and they admit extensions to richer languages and modal deductive systems than that of basic modal logic. Some of these extensions are discussed in the last part of the paper.
Keywords: Modal logic, modal deduction, translation methods, set theory, second-order logic
Part of the OUP Journal of Logic and Computation WWW service
Click here to register with OUP.
This page is maintained by OUP admin
Part of the OUP Journals World Wide Web service.
Last modification: 22 Jul 1997
Copyright© Oxford University Press, 1997.