Abstract
Prior’s three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic Q t and give its axiomatization and semantics. We also argue that Q t provides a smooth solution to the problem of future contingents.
Similar content being viewed by others
References
Akama, S., and Nagata, Y., ‘On Prior’s three-valued modal logic Q’, Proc. of ISMVL’ 2005, 2005, pp. 14–19.
Akama, S., Nagata, Y., and Yamada, C., ‘A three-valued temporal logic for future contingents’, to appear in Logique et Analyse, 2007.
Anscombe, G., ‘Aristotle and the sea-battle, De Interpretatione Chapter IX’, Mind LXV: 257, 1956, pp. 1–15.
Aristotle, De Interpretatione, translated by E.M. Edghill, W.D. Ross (ed.), The Works of Aristotle, Oxford University Press, Oxford, 1963.
Blamey P. (1986). ‘Partial logic’. In: Gabbay D., Guenthner F. (eds) Handbook of Philosophical Logic Vol III. Reidel, Dordrecht, pp. 1–70
Bruns, G. and Godefroid, P., ‘Generalized model checking: reasoning about partial state spaces’, Proc. of CONCUR’2000, Springer-Verlag, Berlin, 2000, pp. 168–182.
Bull R.A. (1964). ‘An axiomatization of Prior’s modal calculus Q’, Notre Dame Journal of Formal Logic. 5: 211–214
Bull R.A. (1965). ‘A modal extension of intuitionistic logic’. Notre Dame Journal of Formal Logic. 6: 142–146
Correia F. (1999). ’Adequacy results from some Priorean modal logic’. Notre Dame Journal of Formal Logic. 40: 236–249
Ewald W. (1986). ‘Intuitionistic tense and modal logic’. The Journal of Symbolic Logic. 51: 166–179
van Fraassen B.(1966). ‘Singular terms, truth-value gaps, and free logic’. Journal of Philosophy. 63: 481–495
Haack S. (1978). Philosophy of Logics, Cambridge University Press, Cambridge
Lukasiewicz, J., ‘On 3-valued logic’, 1920, S.McCall (ed.), Polish Logic, Oxford University Press, Oxford, 1967, pp. 16–18.
Prior A.N.(1957). Time and Modality. Oxford University Press, Oxford.
Prior A.N.(1967). Past, Present and Future. Clarendon Press, Oxford.
Simpson, A., The Proof Theory and Semantics of Intuitionistic Modal Logic, Ph.D. Thesis, Edinburgh, 1993.
Surowik D.(2005). ‘The different methods of rejection of the thesis of determinism in temporal logical systems’. Bulletin of Symbolic Logic. 11: 296–297
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Akama, S., Nagata, Y. & Yamada, C. Three-Valued Temporal Logic Q t and Future Contingents. Stud Logica 88, 215–231 (2008). https://doi.org/10.1007/s11225-008-9102-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-008-9102-0