Paper Info
Title
A Logical Characterisation of Event Recording Automata
Abstract
We show that the class of Event Recording Automata [2] admit a logical characterisation via an unrestricted monadic second order logic interpreted over timed words. We point out the closure properties corresponding to existential quantification in the logic. A timed temporal logic considered earlier in the literature is shown to be expressively complete with respect to our monadic logic. The results in this paper extend smoothly to the class of event clock automata (also introduced in [2]).
Year
DOI
Venue
2000
10.1007/3-540-45352-0_20
FTRTFT
Keywords
Field
DocType
temporal logic,closure property,logical characterisation,event clock automaton,event recording automata,order logic,monadic logic
Discrete mathematics,Algebra,Existential quantification,Closure (mathematics),Automaton,Linear temporal logic,Regular language,Linear logic,Temporal logic,Monadic predicate calculus,Mathematics
Conference
Volume
ISSN
ISBN
1926
0302-9743
3-540-41055-4
Citations 
PageRank 
References 
5
0.47
9
Authors
1
Name
Order
Citations
PageRank
Deepak D'souza123917.90