Modal logic of strict necessity and possibility
A printed copy of this book is not yet available.
Modal logic is part of modern symbolic logic. It is based upon classical symbolic logic adding to the latter some logical symbols, by means of which we can symbolically represent statements expressing necessity, possibility, obligation etc. The notions of strict, logical necessity and possibility and philosophical and logical problems connected with them are treated in the book with the resources of modal symbolic logic. No preliminary knowledge of logic is assumed. In general a balance is struck between philosophical and technical (that of the symbolic logic) treatment of the issues.