Abstract
The decision procedures to be described in this paper constitute simplifications of methods previously developed by G. H. von Wright. The decision problems for both the systems under consideration have already been solved, but the known solutions are hopelessly impractical. Our methods for S4 and M, while not “practical” in the sense that they can be applied quickly and easily to any formula, do constitute a vast improvement over any other known methods. It appears, for example, that our methods (with the aid of very little ingenuity) will yield decisions readily when applied to modal functions of degree two (or less) with three (or fewer) distinct propositional variables.
Publisher
Cambridge University Press (CUP)
Reference11 articles.
1. Anderson A. R. , abstract of the present paper, this Journal, vol. 18 (1953), pp. 187–188.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献