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

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Modal   Deduction   in   Second-Order   Logic   and   Set   Theory   -   II">

            <identifier   Org="ISBN:0387951970"   Paper_ID="SELF"   Extracted="0387951970"   DDC="511.3/22"   Normalized_DDC="511322"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354067697X"   Paper_ID="SELF"   Extracted="354067697X"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="SELF"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.3333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com