Automatically assigned DDC number: 0040151

Manually assigned DDC number: 0040151

Title: Modal Deduction in Second-Order Logic and Set Theory - II

Author:

Author:

Author:

Subject: Johan Van Benthem,Angelo Montanari,Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II

Description: 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. 1 Introduction In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics [15]. Instead of devising an ad-hoc translation for each logic, defining a new settheoretic function symbol for each new modal operator, we develop a general framework in wh...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-08-19

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/140320.html

Source: http://www.wins.uva.nl/research/illc/Publications/Lists/../ResearchReports/ML-1996-08.text.ps.gz

Language: en

Rights: unrestricted