Author:
Finger Marcelo,Gabbay Dov
Reference23 articles.
1. Aqvist, L., “A conjectured axiomatization of two-dimensional Reichenbachian tense logic,” Journal of Philosophical Logic, vol. 8 (1979), pp. 1–45. Zbl 0407.03024 MR 80d:03014
2. Büchi, J. R., “On a decision method in restricted second order arithmetic,” pp. 1–11 in Logic, Methodology, and Philosophy of Science: Proceedings of the 1960 International Congress, Stanford University Press, Stanford, 1962. MR 32:1116
3. Burgess, J. P., and Y. Gurevich, “The decision problem for linear logic,” Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 566–582. Zbl 0573.03004
4. Burgess, J. P., “Axioms for tense logic I: `Since' and `Until',” Notre Dame Journal of Formal Logic, vol. 23 (1982), pp. 367–374. Zbl 0452.03021 MR 84j:03031a
5. Burgess, J. P., “Basic tense logic,” pp. 89–133 in Handbook of Philosophical Logic, volume II, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984. Zbl 0875.03046 MR 844597
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献