Abstract
Metric temporal frames are introduced based on multiple-valued semantics. The intended metric temporal language is interpreted in models based on metric temporal frames. Normal metric temporal logics are introduced, and some completeness results are naturally given by adjusting the canonical model method. The finite model property to the minimal normal metric temporal logic is established.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Blvbackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 1–84. Elsevier, Amsterdam (2007)
Blackburn, P., Rijke, M.D., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Burgess, J.P.: Basic tense logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 7, pp. 1–42. Springer, Dordrecht (2002). https://doi.org/10.1007/978-94-017-0462-5_1
Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press, Oxford (1997)
He, F.: Modal logic of multivalued frames over inversely well-ordered sets. Stud. Log. 15(3), 52–72 (2022)
Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990). https://doi.org/10.1007/BF01995674
Ouaknine, J., Worrell, J.: Some recent results in metric temporal logic. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 1–13. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85778-5_1
Prior, A.N.: Time and Modality. Clarendon Press, Oxford (1957)
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
Prior, A.N., Hasle, P.F.: Papers on Time and Tense. Clarendon Press, Oxford (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
He, F. (2023). Multiple-Valued Semantics for Metric Temporal Logic. In: Banerjee, M., Sreejith, A.V. (eds) Logic and Its Applications. ICLA 2023. Lecture Notes in Computer Science, vol 13963. Springer, Cham. https://doi.org/10.1007/978-3-031-26689-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-26689-8_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-26688-1
Online ISBN: 978-3-031-26689-8
eBook Packages: Computer ScienceComputer Science (R0)
