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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Users 4 not found.
Date Deposited: 22 Sep 2005
Last Modified: 14 Oct 2009 09:25
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/486

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)