ML-1996-08: Modal Deduction in Second-Order Logic and Set Theory - II

ML-1996-08: van Benthem, Johan and Montanari, Angelo and D'Agostino, Giovanna and Policriti, Alberto (1996) Modal Deduction in Second-Order Logic and Set Theory - II. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (139kB)
[thumbnail of Abstract] Text (Abstract)

Download (830B)


In this paper, we generalize the set­theoretic translation method for
polymodal logic introduced in [11] to extended modal logics. Instead of
devising an ad­hoc translation for each logic, defining a new set­theoretic
function symbol for each new modal operator, we develop a general framework
within which a number of extended modal logics can be dealt with. More
precisely, we 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 deal with specific cases of extended
modal logics.

Item Type: Report
Report Nr: ML-1996-08
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item