Synonymous logics (vol 32, pg 259, 2003)

被引：2

作者：

Pelletier, Francis Jeffry ^{[1
]}

Urquhart, Alasdair ^{[2
]}

机构：

[1] Simon Fraser Univ, Burnaby, BC V5A 1S6, Canada

[2] Univ Toronto, Toronto, ON, Canada

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2008年 / 37卷 / 01期

关键词：

modal logics; translational equivalence; translations;

D O I：

10.1007/s10992-007-9062-2

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

In an earlier paper entitled Synonymous Logics, the authors attempted to show that there are two modal logics so that each is exactly translatable into the other, but they are not translationally equivalent. Unfortunately, there is an error in the proof of this result. The present paper provides a new example of two such logics, and a proof of the result claimed in the earlier paper.

引用

页码：95 / 100

页数：6