Succinctness Gap between Monadic Logic and Duration Calculus

A. Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


In [8, 11] the expressive completeness of the Propositional fragment of Duration Calculus relative to monadic first-order logic of order was established. In this paper we show that there is at least an exponential blow-up in every meaning preserving translation from monadic logic to PDC. Hence, there exists an exponential gap between the succinctness of monadic logic and that of duration calculus.

Original languageEnglish
Pages (from-to)201-210
Number of pages10
JournalFundamenta Informaticae
Issue number2
StatePublished - May 2000


Dive into the research topics of 'Succinctness Gap between Monadic Logic and Duration Calculus'. Together they form a unique fingerprint.

Cite this