Veikko R. Rantala

In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.

The book studies philosophical and mathematical-logical problems of modal notions. Its starting points are possible worlds semantics and Kripke models, and it also concentrates on proof-theoretic methods.