Succinctness Gap between Monadic Logic and Duration Calculus

Fundamenta Informaticae

Volumn 42, Issue 2, 2000, Pages 201-210

  Rabinovich, A ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347603299     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-42204     Document Type: Article

References (15)

1. Zhou Chaochen and M. Hansen. Duration Calculus: Logical Foundations. In Formal Aspects of Computing, 9:283-330, 1997.
2. Zhou Chaochen, C.A.R. Hoare and A. P. Ravn. A calculus of Duration. Information processing Letters, 40(5):269-279, 1991.
3. D. Gabbay, I. Hodkinson and M. Reynolds. Temporal Logic. Oxford Un. Press, 1994.
4. J. Halperin, B. Moszkowski and Z. Manna. A propositional modal logic of time intervals. In LICS, 1986, pp. 279-292.
5. H. Kamp. Tense logic and the theory of linear order. Ph.D. Thesis, Un. of California at LA, 1968.
6. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3), pp. 872-923, 1994.
7. P. Pandya. Some extensions to Propositional Mean Value Calculus: Expressiveness and Decidability. In Proceedings of Computer Science Logic 1995, LNCS vol. 1092, 1995.
8. A. Rabinovich. On expressive completeness of Duration and Mean Value Calculi. In Proceedings of EXPRESS, Electronic Notes in Theoretical Computer Science, Vol. 7, 1997.
9. A. Rabinovich. Non-elementary Lower Bound for Propositional Duration Calculus. Information Processing Letters 66 (1998), 7-11.
10. A. Rabinovich. On the Decidability of Continuous Time Specification Formalisms. Journal of Logic and Computation, Vol. 8, No 5, pp 669-678, 1998.
11. A. Rabinovich. Expressive Completeness of Duration Calculus. Information and Computation, Vol. 156, No. 1/2, pp. 320-344, 2000.
12. A. Ravn, H. Richel and K. Hansen. Specifying and verifying requirement of real time systems. IEEE Transaction on Software Eng., 1993.
13. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. J. ACM 32(3):733-749, 1985
14. J. Skakkebak, A. Ravn, H. Richel, Zhou Chaochen. Specification of Embedded Real time Systems. In Proc. of 1992 Euromicro workshop on Real Time Systems. IEEE Computer Society Press.
15. L. Stockmeyer. The complexity of decision problems in automata and logic, Ph.D. Thesis, MIT, 1974.