Abstract

Most branches of logic may be studied by means of two different (although related) methods or sets of methods which are usually called syntactical and semantical, respectively. In this paper, I shall outline some basic ideas of a semantical theory of modal logic, including quantified modal logic. Since a fuller treatment is easy to carry out on the basis of this outline, I shall omit most of the proofs.1

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call