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

Alfredo Burrieza Inman P. de Guzmán

Published in: FroCoS (2002)

Keyphrases

temporal information
spatio temporal
temporal evolution
temporal properties
temporal data
data sets
databases
space time
spatial and temporal
structural properties
real time
probabilistic model
fixed point
propositional logic
temporal analysis