Logical consecutions in discrete linear temporal logic

Journal of Symbolic Logic

Volumn 70, Issue 4, 2005, Pages 1137-1149

  Rybakov, V V ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

Admissible rules; Consecutions; Inference; Inference rules; Linear temporal logic; Logical consequence; Temporal logic

Indexed keywords

EID: 32244434396     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1129642119     Document Type: Article

References (31)

1. R. BLOEM, K. RAVI, and F. SOMENZI, Efficient decision procedures for model checking of linear time logic properties. Conference on Computer Aided Verification (CAV) (Terento, Italy), LNCS, vol. 1633, Springer-Verlag, 1999.
2. A. CHAGROV and M. ZAKHARYASCHEV, Modal logic, Oxford Logic Guides, vol. 35, Clarendon Press, Oxford, 1997.
3. A. I. CITKIN, On admissible rules of intuitionistic propositional logic. Math. USSR Sbornik, vol. 31 (1977), no. 2, pp. 279-288.
4. E. CLARKE, O. GRUMBERG, and K. P. HAMAGUCHI, Another look at LTL model checking. Conference on Computer Aided Verification (CAV) (Stanford, California), LNCS, vol. 818, Springer-Verlag, 1994.
5. H. B. CURRY, Foundations of mathematical logic, Dover Publications, New-York, 1977.
6. H. FRIEDMAN, One hundred and two problems in mathematical logic, this JOURNAL, vol. 40 (1975), no. 3, pp. 113-130.
7. D. GABBAY. Model theory for tense logics, U.S. Air Forse Office of Science Research, contract no. F61052-68-C-0036, report no.1, April 1969.
8. D. GABBAY, A. KURUCZ, F. WOLTER, and M. ZAKHARYASCHEV, Many-dimensional modal logics: Theory and applications, Elsevier Science Pub Co., 2003.
9. S. GHILARDI, Unification in intuitionistic logic, this JOURNAL, vol. 64 (1999), no. 2, pp. 859-880.
10. R. GOLDBLATT, Logics of time and computation, second ed., CSLI Lecture Notes, vol. 7, 1992.
11. R. HARROP, Concerning formulas of the types A → B V C, A → xB(x) in intuitionistic formal system, this JOURNAL, vol. 25 (1960), pp. 27-32.
12. R. IEMHOFF, A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic, vol. 113 (2001), no. 1-3, pp. 161-173.
13. _, On the admissible rules of intuitionistic propositional logic, this JOURNAL, vol. 66 (2001), pp. 281-294.
14. P. LORENZEN, Einführung in die operative Logik und Mathematik, Springer-Verlag, 1955.
15. M. MARX and Y. VENEMA, Multi-dimensional modal logics, Kluwer Academic Publishers, 1997.
16. G. E. MINTS, Derivability of admissible rules. Journal of Soviet Mathematics, vol. 6 (1976), no. 4, pp. 417-421.
17. A. PNUELI, The temporal logic of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science, IEEE, 1997, pp. 46-57.
18. A. PRIOR, Time and modaliy, Oxford, 1957.
19. _, Past, present and future, Oxford, 1967.
20. V. V. RYBAKOV, A criterion for admissibility of rules in the modal system S4 and the intuitionistic logic. Algebra and Logic, vol. 23 (1984), no. 5. pp. 369-384, English Translation.
21. _. The bases for admissible rules of logics S4 and Int. Algebra and Logic, vol. 24 (1985), pp. 55-68, English translation.
22. _, Rules of inference with parameters for intuitionistic logic, this JOURNAL, vol. 57 (1992), no. 3, pp. 912-923.
23. _, Heriditarily structurally complete modal logics, this JOURNAL, vol. 60 (1995), no. 1, pp. 266-288.
24. _, Admissible logical inference rules, Studies in Logic and the Foundations of Mathematics, vol. 136, North-Holland, 1997.
25. _, Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, vol. 47 (2001), no. 4, pp. 441-451.
26. _, Refined common knowledge logics or logics of common information. Archive for Mathematical Logic, vol. 42 (2003), pp. 179-200.
27. V. V. RYBAKOV, V. R. KIYATKIN, and T. ONER, On finite model property for admissible rules, Mathematical Logic Quarterly, vol. 45 (1999). no. 4, pp. 505-520.
28. V. V. RYBAKOV, M. TERZILER, and V. V. RIMAZKI, Basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC, Mathematical Logic Quarterly, vol. 46 (2000), no. 2, pp. 207-218.
29. K. SEGERBERG, Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301-322.
30. S. K. THOMASON, Semantic analysis of tense logic, this JOURNAL, vol. 37 (1972), no. 1.
31. J. VAN BENTHEM. The logic of time, Synthese Library, vol. 156, Reidel, 1983.