Abstract
In this paper, a Gentzen-type sequent calculus STRW is introduced for a new temporal relevant logic TRW which is obtained from the positive contraction-less relevant logic by adding some temporal operators. The cut-elimination and completeness theorems for STRW are proved. STRW is shown to be decidable and to have relevance principle.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, A.R., Belnap, N.D., et al.: Entailment: the logic of relevance and necessity, vol. 1. Princeton University Press (1975)
Brady, R.T.: The Gentzenization and decidability of RW. Journal of Philosophical Logic 19, 35–73 (1990)
Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers 58, 118–149 (2003)
Cerrito, S., Mayer, M.C., Prand, S.: First order linear temporal logic over finite time structures. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 62–76. Springer, Heidelberg (1999)
Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, pp. 117–224. Reidel Publishing Company (1986)
Dunn, J.M.: Consecution formulation of positive R with co-tenability and t. In: Anderson, A.R., Belnap, N.D. (eds.) Entailment: the Logic of Relevance and Necessity, vol. 1, pp. 381–391. Princeton University Press (1975)
Gambrone, S.: TW  +  and RW  +  are decidable. Journal of Philosophical Logic 14, 235–254 (1985)
Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic 106, 85–134 (2000)
Kamide, N.: Bounded linear-time temporal logic: A proof-theoretic investigation. Annals of Pure and Applied Logic 163(4), 439–466 (2012)
Kamide, N.: Formalizing inconsistency-tolerant relevant human reasoning: A decidable paraconsistent relevant logic with constructible falsity. In: Proce. of the 2013 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1865–1870 (2013)
Kawai, H.: Sequential calculus for a first order infinitary temporal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, 423–432 (1987)
Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46–57 (1977)
Prior, A.N.: Time and modality. Clarendon Press, Oxford (1957)
Prior, A.N.: Past. present and future. Clarendon Press, Oxford (1967)
Routley, R., Meyer, R.K.: Semantics of entailment 1. In: Leblanc, H. (ed.) Truth, Syntax and Modality. Studies in Logic and the Foundations of Mathematics, vol. 68, pp. 199–243. North Holland, Amsterdam (1973)
Urquhart, A.: The undecidability of entailment and relevant implication. Journal of Symbolic Logic 49(4), 1059–1073 (1984)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kamide, N. (2015). A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)