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]

[img] Text (Full Text)
ML-1996-08.text.ps.gz

Download (139kB)
[img] Text (Abstract)
ML-1996-08.abstract.txt

Download (830B)

Abstract

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
URI: https://eprints.illc.uva.nl/id/eprint/1377

Actions (login required)

View Item View Item