On translations of temporal logic of actions into monadic second-order logic

Authors:
A. Rabinovich
Affiliations:
TelAviv Univ., Tel Aviv, Israel
Venue:
Theoretical Computer Science
Year:
1998

Citing 0
Cited 4

Finite variability interpretation of monadic logic of order

Theoretical Computer Science
The Expressive Power of Temporal Logic of Actions (Extended Abstract)

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Automata over continuous time

Theoretical Computer Science
Thue Specifications and Their Monadic Second-order Properties

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract