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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have