An adequate first order interval logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1536, Issue , 1998, Pages 584-608

  Chaochen, Zhou ^a   Hansen, Michael R ^b  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

FIRST ORDER LOGIC; FIRST-ORDER INTERVALS; FORMAL SPECIFICATION AND VERIFICATION; LIVENESS; NEIGHBOURHOOD;

COMPUTER CIRCUITS;

EID: 2642580012     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49213-5_23     Document Type: Conference Paper

References (24)

1. J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, 1984.
2. R. Alur, C. Courcoubetis, T. Henzinger, and P-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds), pages 209-229. LNCS 736, Springer-Verlag, 1993.
3. 2. Technical report, UNU/IIST Report No. 120, UNU/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1997.
4. B. Dutertre. Complete proof systems for first order interval temporal logic. In Tenth Annual IEEE Symp. on Logic in Computer Science, pages 36-43. IEEE Press, 1995.
5. Marcin Engel and Hans Rischel. Dagstuhl-seminar specification problem - a duration calculus solution. Technical report, Department of Computer Science, Technical University of Denmark - Private Communication, 1994.
6. J. Halpern, B. Moskowski, and Z. Manna. A hardware semantics based on temporal intervals. In IGALP'83, volume 154 of LNCS, pages 278-291. Springer-Verlag, 1983.
7. J.Y. Halpern and Y. Shoham. A propositional modal logic of time intervals. In Proceedings of the First IEEE Symposium on Logic in Computer Science, pages 279-292. IEEE Computer Society Press, 1986.
8. M.R. Hansen and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing 9: 283-330, 1997.
9. M.R. Hansen, Zhou Chaochen, and Jørgen Staunstrup. A real-time duration semantics for circuits. In TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ. ACM/SIGDA, 1992.
10. M.R. Hansen, P.K. Pandya, and Zhou Chaochen. Finite divergence. Theoretical Computer Science, 138:113-139, 1995.
11. +. In Hybrid Systems, R.L. Grossman, A, Nerode, A.P. Ravn and H. Risehel (Eds), pages 77-102. LNCS 736, Springer-Verlag, 1993.
12. Z. Manna and A. Pnueli. Verifying hybrid systems. In Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn and H. Risehel (Eds), pages 4-35. LNCS 736, Springer-Verlag, 1993.
13. B. Moszkowski. Compositional reasoning about projected and infinite time. In First IEEE Intl. Conf, on Engineering of Complex Computer Systems. IEEE press, 1995.
14. P.K. Pandya. Weak chop inverses and liveness in duration calculus. In B. Jon-sson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 148-167. Springer-Verlag, 1996.
15. Suman Roy and Zhou Chaochen. Notes on neighbourhood logic. Technical report, UNU/IIST Report No. 97, UNU/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1997.
16. J.U. Skakkebaek. Liveness and fairness in duration calculus. In B. Jonsson and J. Parrow, editors, CONCUR'94: Concurrency Theory, volume 836 of LNCS, pages 283-298. Springer Verlag, 1994.
17. Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529-547, 1990.
18. Y. Venema. A modal logic for chopping intervals. J. Logic Computat., 1(4):453-476, 1991.
19. Mao Xiaoguang, Xu Qiwen, Dang Van Hung, and Wang Ji. Towards a proof assistant for interval logics. Technical report, UNU/IIST Report No. 77, UNU/IIST, International Institute for Software Technology, P.O. Box 3058, Macau, 1996.
20. Zhou Chaochen and Michael R. Hansen. Chopping a point. In BCS-FACS 7th Refinement Workshop. Electronic Workshops in Computing, Springer-Verlag, 1996.
21. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
22. Zhou Chaochen, Dang Van Hung, and Li Xiaoshan. A duration calculus with infinite intervals. In Horst Reichel, editor, Fundamentals of Computation Theory, volume 965 of LNCS, pages 16-41. Springer-Verlag, 1995.
23. Zhou Chaochen, A.P. Ravn, and M.R. Hansen. An extended duration calculus for hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Risehel, editors, Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, H. Risehel (Eds.), volume 736 of LNCS, pages 36-59. Springer-Verlag, 1993.
24. Zhou Chaochen and Li Xiaoshan. A mean value calculus of durations. In Prentice Hall International, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 431-451. Prentice Hall International, 1994.