Abstract
The species of indeterminist tense logic called ‘Peircean’ by A. N. Prior is proved to be recursively decidable.
Similar content being viewed by others
References
J. P. Burgess, The unreal future, Theoria 44(1978), pp. 157–179.
A. N. Prior, Past, Present and Future, Oxford, Calrendon, 1967.
M. O. Rabin, Decidability of second order theories and automata on infinite trees, Transaction of the American Mathematical Society 141 (1966), pp. 1–35.
Author information
Authors and Affiliations
Additional information
To the memory of Ivo Thomas
Rights and permissions
About this article
Cite this article
Burgess, J.P. Decidability for branching time. Stud Logica 39, 203–218 (1980). https://doi.org/10.1007/BF00370320
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370320