- (1 other version)Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
(1 other version)Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.details
|
|
(1 other version)Tense Logic and the Theory of Linear Order.Johan Anthony Willem Kamp - 1968 - Los Angeles, CA, USA: University of California.details
|
|
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.details
|
|
(1 other version)An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.details
|
|
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.details
|
|
(1 other version)Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.details
|
|
(1 other version)Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.details
|
|
Labelled deductive systems.Dov M. Gabbay - 1996 - New York: Oxford University Press.details
|
|
(1 other version)A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
(1 other version)Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angelesdetails
|
|
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.details
|
|
(2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.details
|
|
Hybrid languages and temporal logic.P. Blackburn & M. Tzakova - 1999 - Logic Journal of the IGPL 7 (1):27-54.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
(1 other version)An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
(2 other versions)Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.details
|
|
Labelled Non-Classical Logics.Luca Vigano - 2004 - Bulletin of Symbolic Logic 10 (1):107-108.details
|
|