Bibliography

Andersen, N.: 1994, Datalogi 1P kursusbog - Beregnelighed, Lecture Notes from Department of Computer Science, University of Copenhagen.

Burgess, J. P.: 1984, Basic Tense Logic, Vol. II, D. Reidel Publishing Company, chapter II.2, pp. 89-132.

Devlin, K.: 1991, Logic and Information, Cambridge University Press, Cambridge.

Dorato, M.: 1995, Time and Reality - Spacetime Physics and the Objectivity of Temporal Becoming, Cooprativa Libraria Universitaria Editrice Bologna.

Faye, J.: 1989, The Reality of the Future, Odense University Press.

Galton, A.: 1999, Temporal logic topic at http://plato.stanford.edu.

Gamut, L.: 1991a,

Intensional Logic and Logical Grammar, Vol. 2 of Logic, Language and Meaning, The University of Chicago Press.

Gamut, L.: 1991b,

Introduction to Logic, Vol. 1 of Logic, Language and Meaning, The University of Chicago Press.

Garson, J.: 1999, Modal logic topic at http://plato.stanford.edu.

G.E. Hughes and M.J. Cresswell: 1998, A new Introduction to Modal Logic, 2. edn, Routledge.

Girle, R.: 2000, Modal Logic and Philosophy, Acumen Publishing Ltd., 17 Fairfax Road, Teddington.

Goodman, N.: 1984, The Problem of Counterfactual Conditions, in Jackson (1991), pp. 9-28.

Hasle, P. and Øhrstrøm, P.: 1995, Temporal Logic From Ancient Ideas to Artificial Intelligence, Vol. 57 of Studies in Linguistics and Philosophy, Kluwer Academic Publishers.

Hendricks, V. F.: 2000, The convergence of scientific knowledge - a view from the limit, Københavns Universitet.

Hendricks, V. F. and Pedersen, S. A.: 2001, Moderne elementær logik, Preprint version - first draft (dated:17/01-2001).

Jackson, F.: 1991, Conditionals, Oxford Readings in Philosophy, Oxford University Press.

Kamp, J. A. W.: 1968, Tense Logic and the Theory of Linear Order, PhD thesis, University of California, Los Angeles.

Kirkham, R. L.: 1997, Theories of Truth. A Critical Introduction., MIT Press.

Lewis, D.: 1973, Counterfactuals, in Jackson (1991).

Lewis, D.: 1979, Counterfactual Dependence and Time's Arrow, in Jackson (1991), pp. 46-76.

MacBeath, R. L. P. . M.: 1993, The Philosophy of Time, Oxford Readings in Philosophy, Oxford University Press.

Penczek, W.: 1991, Branching Time and Partial Order in Temporal Logic, Department of Computer Science, University of Manchester, Great Britain.

Priest, G.: 1986, Tense and Truth Conditions, Vol. 46, Basil Blackwell, Oxford.

Prior, A.: 1967, Past, Present, and Future, Ofxord University Press.

Rescher, N. and Urquhart, A.: 1971, Temporal Logic, Springer, Wien.

Ross, K. A. and Wright, C. R. B.: 1988, Discrete Mathematics, 2 edn, Prentice Hall.

Stalnaker, R.: 1968, A Theory of Conditionals, in Jackson (1991), pp. 28-46.