A Temporal × Modal Approach to the Definability of Properties of Functions

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2309)


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.


T×W-semantics functional semantics definability completeness 


  1. 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
  2. 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
  3. 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
  4. Che92.
    Chellas, B: Time and Modality in the Logic of Agency, Studia Logica, 51: 485–517, 1992.CrossRefMathSciNetzbMATHGoogle Scholar
  5. Kus93.
    Kuschera, V.F: Causation, Journal of Philosophical Logic, 22: 563–88, 1993.CrossRefMathSciNetGoogle Scholar
  6. Rey97.
    Reynolds, M: A decidable temporal logic of parallelism, Notre Dame Journal of Formal Logic, 38: 419–36, 1997.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 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
  8. 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
  9. Zan86.
    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.zbMATHCrossRefMathSciNetGoogle Scholar
  10. Zan96.
    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.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  1. 1.Facultad de Filosofía, E.T.S.I. InformáticaUniversidad de MálagaMálagaSpain

Personalised recommendations