Translation-based deduction methods for modal logics
Advances in Intelligent Computing—IPMU'94: 5th International Conference on …, 1995•Springer
The aims of this paper are twofold: First, we review the automated deduction method for
normal multi-modal logics which has shown to be the most general and fruitful, namely
translation into first-order theories, and more precisely, the functional translation into
equational theories with ordered sorts Second, to show how this method can be extended to
monotonic modal logics through a translation from the latter into normal modal logics.
normal multi-modal logics which has shown to be the most general and fruitful, namely
translation into first-order theories, and more precisely, the functional translation into
equational theories with ordered sorts Second, to show how this method can be extended to
monotonic modal logics through a translation from the latter into normal modal logics.
Abstract
The aims of this paper are twofold: First, we review the automated deduction method for normal multi-modal logics which has shown to be the most general and fruitful, namely translation into first-order theories, and more precisely, the functional translation into equational theories with ordered sorts Second, to show how this method can be extended to monotonic modal logics through a translation from the latter into normal modal logics.
Springer
Showing the best result for this search. See all results