COMPLETENESS AND SOUNDNESS OF AXIOMATIZATIONS FOR TEMPORAL LOGICS WITHOUT NEXT

1 January 1994

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 21 (4) , 257-305
https://doi.org/10.3233/fi-1994-2141

Abstract

We present axiomatizations for Until Temporal Logic (UTL) and for Since/Until Temporal Logic (SUTL). These logics are intended for use in specifying and reasoning about concurrent systems. They employ neither a next nor a previous operator, which obs

Keywords

HIERARCHICAL ABSTRACTION
SUTL FORMULA
CONCURRENT SYSTEM
TEMPORAL LOGICS
TEMPORAL LOGIC
PRESENT AXIOMATIZATIONS
PREVIOUS OPERATOR
UTL FORMULA

This publication has 0 references indexed in Scilit: