WestminsterResearch

On the relationship between w-automata and temporal logic normal forms

Bolotov, Alexander and Fisher, Michael and Dixon, Clare (2002) On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation, 12 (4). pp. 561-581. ISSN 0955-792X

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1093/logcom/12.4.561

Abstract

We consider the relationship between w-automata and a specific logical formulation based on a normal form for temporal logic formulae. While this normal form was developed for use with execution and clausal resolution in temporal logics, we here show how it can represent, syntactically, w-automata in a high-level way. Technical proofs of the correctness of this representation are given.

Item Type:Article
Additional Information:Online ISSN 1465-363X
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:486
Deposited On:22 Sep 2005
Last Modified:14 Oct 2009 10:25

Repository Staff Only: item control page