Abstract
The branching-time logic called ‘Peircean’ by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.
Similar content being viewed by others
References
J. P. Burgess,Decidability for branching time,Studia Logica 39 (1980), pp. 203–218.
D. M. Gabbay,An irreflexivity lemma with applications to axiomatizations of condition on tense frames, inAspect of Philosophical Logic, edited by Uwe Mönnich, D. Reidel P. C., Dordrecht 1981, pp. 67–89.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zanardo, A. Axiomatization of ‘Peircean’ branching-time logic. Stud Logica 49, 183–195 (1990). https://doi.org/10.1007/BF00935598
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00935598