共 50 条
- [1] Logical consecutions in discrete linear temporal logic [J]. JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (04) : 1137 - 1149
- [3] Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions [J]. MATHEMATICAL LOGIC IN ASIA, 2006, : 233 - 253
- [4] Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous [J]. Fundam Inf, 2007, 1-3 (297-313):
- [6] Nesting until and since in linear temporal logic [J]. THEORY OF COMPUTING SYSTEMS, 2004, 37 (01) : 111 - 131
- [7] Nesting Until and Since in Linear Temporal Logic [J]. Theory of Computing Systems, 2004, 37 : 111 - 131
- [9] Linear temporal logic with until and before on integer numbers, deciding algorithms [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 322 - 333
- [10] An until hierarchy for temporal logic [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 108 - 117