论文信息 - Undefinability of propositional quantifiers in the modal system S4

Undefinability of propositional quantifiers in the modal system S4

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and □.

Silvio Ghilardi | Marek W. Zawadowski | S. Ghilardi

[1] Silvio Ghilardi,et al. An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..

[2] Shavrukov,et al. Subalgebras of Diagonalizable Algebras of Theories Containing Arithmetic , 1993 .

[3] Andrew M. Pitts,et al. On an interpretation of second order quantification in first order intuitionistic propositional logic , 1992, Journal of Symbolic Logic.

[4] Kit Fine,et al. Logics containing K4. Part I , 1974, Journal of Symbolic Logic.

[5] K. Fine. Logics containing K4. Part II , 1985, Journal of Symbolic Logic.

[6] Silvio Ghilardi,et al. A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras , 1995, J. Symb. Log..

[7] S. Maclane,et al. Categories for the Working Mathematician , 1971 .

[8] Max J. Cresswell,et al. A companion to modal logic , 1984 .