Flat fragments of CTL and CTL: separating the expressive and distinguishing powers

1 January 1999

journal article
Published by Oxford University Press (OUP) in Logic Journal of the IGPL

Vol. 7 (1) , 55-78
https://doi.org/10.1093/jigpal/7.1.55

Abstract

We study both the expressive and the distinguishing powers of flat temporal logics. These are fragments obtained by restricting the first argument of the Until operator to propositional formulae. Both the linear-time and the branching-time cases are considered. Keywords:temporal logic, LTL, CTL, expressiveness, bisimulation

Keywords

ARGUMENT
CTL
DISTINGUISHING POWERS
FLAT FRAGMENTS
FORMULAE
KEYWORDS
LOGICS
PROPOSITIONAL
TEMPORAL LOGIC

This publication has 0 references indexed in Scilit: