Modal deduction in second-order logic and set theory - II

Studia Logica 60 (3):387-420 (1998)
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.
Keywords Modal Logic  Modal Deduction  Translation Methods  Second-Order Logic  Set Theory
Categories (categorize this paper)
DOI 10.1023/A:1005037512998
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,300
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
17 ( #291,073 of 2,193,091 )

Recent downloads (6 months)
1 ( #290,277 of 2,193,091 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature