Please use this identifier to cite or link to this item:

From action to next and then to always (semantical analysis)

Authors Wong, Chung Kei
Issue Date 1993
Summary We show that Temporal Logic of Actions (TLA) can be embedded into First-Order Temporal Logic (FTL), and FTL can also be embedded into Temporal Logic without Next (MLl). Through these embeddings, we know that for a first order temporal logic, we do not need actions and the [circle] (Next) operator when we consider the valid formulas. That is, the [square box] (Always) operator is the only temporal operator required.
Note Thesis (M.Phil.)--Hong Kong University of Science and Technology, 1993
Language English
Format Thesis
Access View full-text via DOI
Files in this item:
File Description Size Format
th_redirect.html 341 B HTML
Copyrighted to the author. Reproduction is prohibited without the author’s prior written consent.