Abstract
A succession of events is a sequence of events such that after one event is finished, the next one occurs successively. In this paper, we extended linear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 205–245. Springer, Dordrecht (1997). https://doi.org/10.1007/978-0-585-28322-7_7
Burgess, J.P.: Axioms for tense logic. II. Time periods. Notre Dame J. Formal Logic 23(4), 375–383 (1982)
Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 163–173 (1980)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inform. 6(2), 147–169 (1997). https://doi.org/10.1023/A:1008222603071
Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. J. Appl. Non-Classical Logics 14(1–2), 9–54 (2004). https://doi.org/10.3166/jancl.14.9-54
Goranko, V., Rumberg, A.: Temporal logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2022 edn. (2022)
Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935–962 (1991). https://doi.org/10.1145/115234.115351
Hamblin, C.L.: Instants and intervals. In: Fraser, J.T., Haber, F.C., Müller, G.H. (eds.) The Study of Time, pp. 324–331. Springer, Heidelberg (1972). https://doi.org/10.1007/978-3-642-65387-2_23
Hansen, M.R., Chaochen, Z.: Duration calculus: logical foundations. Formal Aspects Comput. 9, 283–330 (1997)
Humberstone, I.: Interval semantics for tense logic: some remarks. J. Philos. Logic 171–196 (1979)
Kowalski, R., Sergot, M.: A logic-based calculus of events. N. Gener. Comput. 4, 67–95 (1986)
Lutz, C.: Complexity and succinctness of public announcement logic. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2006, pp. 137–143. Association for Computing Machinery, New York (2006). https://doi.org/10.1145/1160633.1160657
Moszkowski, B.C.: Reasoning about digital circuits. Stanford University (1983)
Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007)
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46–57. IEEE (1977)
Prior, A.N.: Time and Modality. Oxford University Press, Oxford (1957)
Prior, A.N.: Present and Future. Oxford University Press, Oxford (1967)
Prior, A.N.: Papers on Time and Tense. Oxford University Press, Oxford (1968)
Roper, P.: Intervals and tenses. J. Philos. Log. 9, 451–469 (1980)
Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, vol. 337. Springer, Heidelberg (2007)
Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. an Eatcs Series, Springer, Heidelberg (2004)
Acknowledgement
The authors thank four anonymous reviewers for their useful comments, which helped us to improve the presentation. This work is supported by the Fundamental Research Funds for the Central Universities (No. 63233137).
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
Li, Y., Zhao, J. (2023). A Temporal Logic for Successive Events. In: Alechina, N., Herzig, A., Liang, F. (eds) Logic, Rationality, and Interaction. LORI 2023. Lecture Notes in Computer Science, vol 14329. Springer, Cham. https://doi.org/10.1007/978-3-031-45558-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-031-45558-2_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-45557-5
Online ISBN: 978-3-031-45558-2
eBook Packages: Computer ScienceComputer Science (R0)