|
HKUST Institutional Repository >
Computer Science and Engineering >
CSE Master Theses >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1783.1/5574
|
| Title: | From action to next and then to always (semantical analysis) |
| Authors: | Wong, Chung Kei |
| Issue Date: | 1993 |
| Abstract: | 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. |
| Description: | Thesis (M.Phil.)--Hong Kong University of Science and Technology, 1993
vi, 44 leaves ; 30 cm
HKUST Call Number: Thesis COMP 1993 Wong |
| URI: | http://hdl.handle.net/1783.1/5574 |
| Appears in Collections: | CSE Master Theses
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| th_redirect.html | | 0Kb | HTML | View/Open |
|
All items in this Repository are protected by copyright, with all rights reserved.
|
