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]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1996-08.text.ps.gz Download (139kB) |
|
Text (Abstract)
ML-1996-08.abstract.txt Download (830B) |
Abstract
In this paper, we generalize the settheoretic translation method for
polymodal logic introduced in [11] to extended modal logics. Instead of
devising an adhoc translation for each logic, defining a new settheoretic
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 settheoretic translation method to weak
monadic secondorder 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 |
