Two classical semantical approaches to studying logics which combine time and modality are the T /spl times/ W-frames and Kamp-frames (Thomason (1984)). In this paper we study a new kind of frame that extends the one introduced in Burrieza et al. (2002). The motivation is twofold: theoretical, i.e., representing properties of the basic theory of functions (definability); and practical, their use in computational applications (considering time-flows as memory of computers connected in a net, each computer with its own clock). Specifically, we present a temporal /spl times/ modal (labelled) logic, whose semantics are given by ind-functional frames in which accessibility functions are used in order to interconnect time-flows. This way, we can: (i) specify to what time-flow we want to go; (ii) carry out different comparisons among worlds with different time measures; and (iii) define properties of certain kinds of functions (in particular, of total, injective, surjective, constant, increasing and decreasing functions), without the need to resort to second-order theories. In addition, we define a minimal axiomatic system and give the completeness theorem (Henkin-style).
[1]
Mark Reynolds,et al.
A Decidable Temporal Logic of Parallelism
,
1997,
Notre Dame J. Formal Log..
[2]
Brian F. Chellas.
Time and modality in the logic of agency
,
1992,
Stud Logica.
[3]
William Harper,et al.
Ifs. Conditionals, Belief, Decision, Chance, and Time
,
1981
.
[4]
R. Thomason.
Combinations of Tense and Modality
,
2002
.
[5]
Alberto Zanardo.
On the characterizability of the frames for the "unpreventability of the present and the past"
,
1986,
Notre Dame J. Formal Log..
[6]
R. Thomason,et al.
A Theory of Conditionals in the Context of Branching Time
,
1980
.
[7]
Lennart Åqvist.
The logic of historical necessity as founded on two-dimensional modal tense logic
,
1999,
J. Philos. Log..
[8]
Alberto Zanardo,et al.
Branching-time logic with quantification over branches: The point of view of modal logic
,
1996,
Journal of Symbolic Logic.
[9]
Inmaculada Perez de Guzmán,et al.
A Temporal × Modal Approach to the Definability of Properties of Functions
,
2002,
FroCoS.