On the translation from quantified modal logic into the counterpart theory revisited

Authors:
Yuming Shen;Yuefei Sui;Ju Wang
Affiliations:
School of Mathematics, Guangxi Normal University, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China;School of Mathematics, Guangxi Normal University, China
Venue:
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Year:
2011

Citing 3
Cited 0

Encoding two-valued nonclassical logics in classical logic

Handbook of automated reasoning
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

Theoretical Computer Science
The axiomatic translation principle for modal logic

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The counterpart theory which was introduced by David Lewis is an alternative semantics to the possible worlds semantics for quantified modal logic. Lewis interprets modal claims by using a translation from quantified modal logic into the counterpart theory. Due to the flexibility of semantics of the counterpart theory, Lewis's translation may translate an unsatisfiable formula to a satisfiable one. In this paper, two properties are defined to describe Lewis's translation, called the faithfulness and fullness. The former implies a translation which preserves the satisfiability of formulas, whereas the latter implies the preservation of the unsatisfiability. We show that Lewis's translation is faithful but not full. To make Lewis's translation full, two auxiliary axioms are added to restrain the counterpart relation such that every possible object has exactly one counterpart in every possible world. Under the circumstances, we show that Lewis's translation is a faithful and full translation.