A propositional linear time logic with time flow isomorphic toω2

Barwise, 1975 Ben-Ari, 1983, The temporal logic of branching time, Acta Inform., 20, 207, 10.1007/BF01257083 Burgess, 1979, Logic and time, J. Symb. Log., 44, 566, 10.2307/2273296 Burgess, 1980, Decidability for branching time, Stud. Log., 39, 213 Burgess, 1982, Axioms for tense logic. I. “Since” and “until”, Notre Dame J. Form. Log., 23, 367, 10.1305/ndjfl/1093870149 Burgess, 1984, Basic tense logic, 89 Demri, 2007, Reasoning about transfinite sequences, Int. J. Found. Comput. Sci., 18, 87, 10.1142/S0129054107004589 Demri, 2010, The complexity of temporal logic with until and since over ordinals, Log. Methods Comput. Sci., 6, 10.2168/LMCS-6(4:9)2010 Doder, 2010, A probabilistic temporal logic that can model reasoning about evidence, Lect. Notes Comput. Sci., 5956, 9, 10.1007/978-3-642-11829-6_4 Doder, 2010, An axiomatization of a first-order branching time temporal logic, J. Univers. Comput. Sci., 16, 1439 Emerson, 1990, Temporal and modal logic, 995 Emerson, 1982, Using branching time logic to synthesize synchronization skeletons, Sci. Comput. Program., 2, 241, 10.1016/0167-6423(83)90017-5 Emerson, 1985, Decision procedures and expressiveness in the temporal logic of branching time, J. Comput. Syst. Sci., 30, 1, 10.1016/0022-0000(85)90001-7 Feldman, 1984, A decidable propositional dynamic logic with explicit probabilities, Inf. Control, 63, 11, 10.1016/S0019-9958(84)80039-X Ferrucci, 2012, A metric temporal logic for dealing with zero-time transitions, 81 Gabbay, 1994, Temporal Logic, vol. 1 Gargantini, 1999, Dealing with zero-time transitions in axiom systems, Inf. Comput., 150, 119, 10.1006/inco.1998.2779 Hansson, 1994, A logic for reasoning about time and reliability, Form. Asp. Comput., 6, 512, 10.1007/BF01211866 Lehmann, 1982, Reasoning with time and chance, Inf. Control, 53, 165, 10.1016/S0019-9958(82)91022-1 Ognjanović, 2006, Discrete linear-time probabilistic logics: completeness, decidability and complexity, J. Log. Comput., 16, 257, 10.1093/logcom/exi077 Pnueli, 1977, The temporal logic of programs, 46 Prior, 1957 Reynolds, 2001, An axiomatization of full computation tree logic, J. Symb. Log., 66, 1011, 10.2307/2695091 Sistla, 1985, The complexity of propositional linear temporal logic, J. ACM, 32, 733, 10.1145/3828.3837 Stirling, 1992, Modal and temporal logic, vol. 2, 477