Two-sorted metric temporal logics

Theoretical Computer Science

Volumn 183, Issue 2, 1997, Pages 187-214

  Montanari, Angelo ^a   De Rijke, Maarten ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; MATHEMATICAL TECHNIQUES; SORTING;

METRIC TEMPORAL LOGIC;

COMPUTER SCIENCE;

EID: 0031220156     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0304-3975(96)00324-6     Document Type: Article

References (21)

1. R. Alur and T.A. Henzinger, Real-time logics: complexity and expressiveness, Inform. Comput. 104 (1993) 35-77.
2. J.P. Burgess, Basic tense logic, in: D.M. Gabbay and F. Guenther, eds., Handbook of Philosophical Logic, Vol. 2 (Dordrecht, Reidel, 1984) 89-134.
3. S. Burris and H.P. Sankappanavar, A Course in Universal Algebra (Springer, New York, 1981).
4. G. D'Agostino, A. Montanari and A. Policriti, A set-theoretic translation method for polymodal logics, J. Automated Reasoning 15 (1995) 317-337.
5. J.W. Garson, Quantification in modal logic, in: D.M. Gabbay and F. Guenther, eds., Handbook of Philosophical Logic, Vol. 2 (Dordrecht, Reidel, 1984) 249-307.
6. R. Goldblatt, Logics of Time and Computation (CSLI Publications, Stanford, 2nd ed., 1992).
7. T.A. Henzinger, The temporal specification and verification of real-time systems, Ph.D. Thesis, Department of Computer Science, Stanford University, 1991.
8. T.A. Henzinger, Z. Manna and A. Pnueli, Temporal proof methodologies for timed transition systems, Inform. Comput. 112 (1994) 273-337.
9. G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic (Routledge, London, 1968).
10. R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Lecture Notes in Computer Science, Vol. 651 (Springer, Berlin, 1992). The relevant sections appear in J. Real- Time Systems 2 (1990) 255-299.
11. R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Lecture Notes in Computer Science, Vol. 651 (Springer, Berlin, 1992). The relevant sections appear in J. Real-Time Systems 2 (1990) 255-299.
12. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems (Springer, New York, 1992).
13. A. Montanari, E. Ciapessoni, E. Corsetti and P. San Pietro, Dealing with time granularity in logical specifications of real-time systems. The synchronous case, Research Report 07/92, Università di Udine, 1992. A short version appeared in Sci. Comput. Programming 20 (1993) 141-171.
14. A. Montanari and M. de Rijke, Completeness results for two-sorted metric temporal logics, in: V.S. Alagar and M. Nivat, eds., Proc. 4th Internat. Conf. on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, Vol. 936, (Springer, Berlin, 1995) 385-399.
15. H.J. Ohlbach, Translation methods for non-classical logics: an overview, Bull. IGLP 1 (1993) 69-89.
16. J.S. Ostroff, Temporal Logic for Real-Time Systems (Research Studies Press, Wiley, Taunton, Mass, 1989).
17. N. Rescher and J. Garson, Topological logic, J. Symbolic Logic, 33 (1968) 537-548.
18. N. Rescher and A. Urquhart, Temporal Logic, Library of Exact Philosophy (Springer, Berlin, 1971).
19. M. de Rijke, The modal logic of inequality, J. Symbolic Logic 57 (1992) 566-584.
20. M. de Rijke and Y. Venema, Sahlqvist's theorem for boolean algebras with operators (with an application to cylindric algebras) Studia Logica 54 (1995) 61-78.
21. R.H. Thomason, Some completeness results for modal predicate calculus, in K. Lambert, ed., Philosophical Problems in Logic (D. Reidel, Dordrecht, 1970).