A. Avron, Hypersequents, logical consequence and intermediate logics for concurrency, Annals of Mathematics and Artificial Intelligence, vol.7, issue.3-4, pp.225-248, 1991.
DOI : 10.1017/S0022481200125848

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol.53, 2001.
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100503

K. Brünnler, Deep sequent systems for modal logic, Archive for Mathematical Logic, vol.85, issue.2, pp.551-577, 2009.
DOI : 10.1007/978-94-010-0387-2_2

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, Proc. Workshop on Logic of Programs, pp.52-71, 1981.
DOI : 10.1007/BFb0025774

N. B. Cocchiarella, Tense and Modal Logic: a Study in the Topology of Temporal Reference, 1965.

K. Etessami, M. Y. Vardi, and T. Wilke, First-Order Logic with Two Variables and Unary Temporal Logic, Information and Computation, vol.179, issue.2, pp.279-295, 2002.
DOI : 10.1006/inco.2001.2953

A. Indrzejczak, Cut-free hypersequent calculus for S4, Bulletin of the Section of Logic, vol.3, issue.41, pp.89-104, 2012.

A. Indrzejczak, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, Information Processing Letters, vol.115, issue.2, pp.75-81, 2015.
DOI : 10.1016/j.ipl.2014.07.002

A. Indrzejczak, Abstract, The Bulletin of Symbolic Logic, vol.48, issue.01, pp.121-144, 2016.
DOI : 10.1007/s00153-009-0137-3

A. Indrzejczak, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Bulletin of the Section of Logic, vol.46, pp.135-149, 2017.
DOI : 10.18778/0138-0680.46.1.2.10

F. Laroussinie, N. Markey, . Ph, and . Schnoebelen, Temporal logic with forgettable past, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.383-392, 2002.
DOI : 10.1109/LICS.2002.1029846
URL : https://hal.archives-ouvertes.fr/hal-01194631

B. Lellmann, Linear Nested Sequents, 2-Sequents and Hypersequents, Proc. Tableaux 2015, pp.135-150, 2015.
DOI : 10.1007/978-94-010-0387-2_2

O. Lichtenstein, A. Pnueli, and L. Zuck, The glory of the past, Proc. Workshop on Logics of Programs, pp.196-218, 1985.
DOI : 10.1007/3-540-15648-8_16

A. Manuel and A. V. Sreejith, Two-variable logic over countable linear orderings, Proc. MFCS 2016, Leibniz International Proceedings in Informatics 58, pp.1-6613, 2016.

S. Negri, Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, pp.507-544, 2005.
DOI : 10.1007/3-540-51237-3_20

H. Ono and A. Nakamura, On the size of refutation Kripke models for some linear modal and tense logics, Studia Logica, vol.6, issue.4, pp.325-333, 1980.
DOI : 10.1007/BF00713542

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.1977-2023, 1977.
DOI : 10.1109/SFCS.1977.32

F. Poggiolesi, The Method of Tree-Hypersequents for??Modal??Propositional??Logic, Proc. Trends in Logic IV, pp.31-51, 2009.
DOI : 10.1007/978-1-4020-9084-4_3
URL : https://hal.archives-ouvertes.fr/halshs-00775815

A. N. Prior, Time and Modality, 1957.

A. P. Sistla and E. M. Clarke, The complexity of propositional linear temporal logics, Journal of the ACM, vol.32, issue.3, pp.733-749, 1985.
DOI : 10.1145/3828.3837