Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/5574

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
Subjects
Language English
Format Thesis
Access
Files in this item:
File Description Size Format
th_redirect.html 341 B HTML