Preservation of expressive completeness in temporal models

AbstractA propositional logic is expressively complete if there is a finite set of connectives which define all truth tables. Kamp (1968, Ph.D. thesis, University of California at Los Angeles), Stavi (1979, unpublished manuscript, Bar-Ilan University, Ramat-Gan, Israel), and Gabbay (1976, “Investigations in Modal and Tense Logics”, Reidel, Dordrecht) proved that all Tense Logics over linear time are expressively complete. Here, a constructive method is given to generate time structure whose tense logic is expressively complete from such given models. As a result examples of constructed nonlinear time models yielding functional completeness are also given