HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Master Theses  >

Please use this identifier to cite or link to this item:
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
Appears in Collections:CSE Master Theses

Files in This Item:

File Description SizeFormat

All items in this Repository are protected by copyright, with all rights reserved.