Modality and Quantification
- 146 Downloads
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
KeywordsSemantical Theory Deductive System Atomic Formula Axiom Schema Semantical System
Unable to display preview. Download preview PDF.