A Temporal × Modal Approach to the Definability of Properties of Functions
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.
keywordT×W-semantics functional semantics definability completeness
Unable to display preview. Download preview PDF.
- Bel96.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.Google Scholar
- BP90.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.Google Scholar
- Bur84.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.Google Scholar
- Tho84.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.Google Scholar
- TG81.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.Google Scholar