Abstract
This work is focused on the study of temporal × modal logics. These logics have been traditionally used in several fields such as causation, the theory of actions, conditionals and others. In this paper we study the representation of properties of functions of interest because of their possible computational interpretations. The semantics is exposed in an algebraic style, and the definability of the basic properties of the functions is analysed. We introduce minimal systems for linear time with total functions. Moreover, completeness proofs are offered for this minimal system. Finally, T × W-validity and Kamp-validity in comparison with functional validity are discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Belnap, N: Agents in branching time, In Logic and Reality: Essays in Pure and Applied Logic, in Memory of Arthur Prior, edited by B. J. Copeland, pp. 239–71 Oxford University Press, Oxford, 1996.
Belnap, N. and Perloff, M: Seeing to it that: A canonical form of agentives, In Knowledge Representation and Defeasible Reasonings, ed. by H.E. Kyburg, R.P. Loui, and G.N. Carlson, Kluwer Academic Publishers, Dordrech, 1990.
Burgess, J.P: Basic Tense Logic, In Handbookof Philosophical Logic, vol 2: Extensions of Classical Logic, edited by D. Gabbay and F. Guenthner, pp. 89–133. Reidel, Dorchecht, 1984.
Chellas, B: Time and Modality in the Logic of Agency, Studia Logica, 51: 485–517, 1992.
Kuschera, V.F: Causation, Journal of Philosophical Logic, 22: 563–88, 1993.
Reynolds, M: A decidable temporal logic of parallelism, Notre Dame Journal of Formal Logic, 38: 419–36, 1997.
Thomason, R.H: Combinations of tense and modality, In Handbook of Philosophical Logic, Vol.2: Extensions of Classical Logic, edited by D. Gabbay and F. Guenthner, pp. 135–65. Reidel, Dordrecht, 1984.
Thomason, R.H., Gupta, A: A theory of conditionals in the context of branching time, in Ifs: Conditionals, Belief, Decision, Chance and Time, edited by W. Harper, R. Stalnaker, and G. Pearce, pp. 299–322. Reidel, Dordrecht, 1981.
Zanardo, A: On the Characterizability of the frames for the Unpreventability of the Present and the Past, Notre Dame Journal of Formal Logic, 27: 556–64, 1986.
Zanardo, A: Branching-time logic with quantification over branches: the point of view of modal logic, The Journal of Symbolic Logic, 61: 1–39, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burrieza, A., de Guzmán, I.P. (2002). A Temporal × Modal Approach to the Definability of Properties of Functions. In: Armando, A. (eds) Frontiers of Combining Systems. FroCoS 2002. Lecture Notes in Computer Science(), vol 2309. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45988-X_19
Download citation
DOI: https://doi.org/10.1007/3-540-45988-X_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43381-1
Online ISBN: 978-3-540-45988-0
eBook Packages: Springer Book Archive