Signed interval logic

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

Volumn 1683, Issue , 1999, Pages 157-171

  Rasmussen, Thomas Marthedal ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

Arrow logic; Interval logic; Liveness; Real time systems; Temporal intervals

Indexed keywords

ALGEBRA; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SEMANTICS; TEMPORAL LOGIC;

ARROW LOGIC; INTERVAL LOGIC; INTERVAL TEMPORAL LOGIC; LIVENESS; LIVENESS PROPERTIES; RELATIONAL ALGEBRA; SOUND AND COMPLETE; TEMPORAL INTERVALS;

COMPUTER CIRCUITS;

EID: 84886670411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_12     Document Type: Conference Paper

References (22)

1. J.F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832-843, 1983. 159
2. B. Dutertre. Complete Proof Systems for First Order Interval Temporal Logic. In LICS'95, pages 36-43. IEEE Press, 1995. 157, 157, 161, 163, 164, 164
3. M. Engel and H. Rischel. Dagstuhl-Seminar Specification Problem - a Duration Calculus Solution. Dept. of Computer Science, Technical University of Denmark -Private Communication, 1994. 158
4. J.Y. Halpern, B. Moszkowski, and Z. Manna. A Hardware Semantics based on Temporal Intervals. In ICALP'83, volume 154 of LNCS, pages 278-291. Springer, 1983. 157
5. J.Y. Halpern and Y. Shoham. A Propositional Modal Logic of Time Intervals. Journal of the ACM, 38(4):935-962, 1991. 157, 159, 159, 159, 161
6. M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9(3):283-330, 1997. 157, 170
7. G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Routledge, 1968. 160, 161, 164
8. H.R. Lewis. A Logic of Concrete Time Intervals. In LICS'90, pages 380-389. IEEE Press, 1990. 157
9. M. Marx and Y. Venema. Multi-Dimensional Modal Logic, volume 4 of Applied Logic Series. Kluwer Academic Publishers, 1997. 159, 167, 167
10. E. Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software, 3. edition, 1987. 163, 163, 164
11. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985. 157
12. B. Moszkowski. Some Very Compositional Temporal Properties. In Programming Concepts, Methods, and Calculi,volume A-56 of IFIP Transactions, pages 307-326. North Holland, 1994. 157
13. Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part I: An interval logic. Theoretical Computer Science, 166:1-47, 1996. 157
14. Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part II: A real-time interval logic. Theoretical Computer Science, 170:1-46, 1996. 157
15. T.M. Rasmussen. Signed Interval Logic. Master's thesis, Dept. of Information Technology, Technical University of Denmark, January 1999. 159, 161, 166, 166, 166, 166, 167, 169, 169, 170, 170, 170, 170, 170, 170, 170, 170
16. T.M. Rasmussen. Signed Interval Logic on Totally Ordered Domains. Note, Dept. of Information Technology, Technical University of Denmark, June 1999. 167, 169
17. R. Rosner and A. Pnueli. A Choppy Logic. In LICS'86, pages 306-313. IEEE Press, 1986. 157
18. G. Schmidt and T. Strohlein. Relations and Graphs. Springer, 1993. 159, 167, 168
19. Y. Venema. Expressiveness and Completeness of an Interval Tense Logic. Notre Dame Journal of Formal Logic, 31(4):529-547, 1990. 157, 159, 159, 161
20. Y. Venema. A Modal Logic for Chopping Intervals. Journal of Logic and Computation, 1(4):453-476, 1991. 157, 159, 159, 159, 161
21. Zhou Chaochen and M.R. Hansen. An Adequate First Order Interval Logic. In COMPOS'97, volume 1536 of LNCS, pages 584-608. Springer, 1998. 157, 157, 158, 159, 159, 161
22. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269-276, 1991. 157, 170