Modality and Quantification

  • Jaakko Hintikka
Part of the Synthese Library book series (SYLI, volume 23)


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


Semantical Theory Deductive System Atomic Formula Axiom Schema Semantical System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1969

Authors and Affiliations

  • Jaakko Hintikka

There are no affiliations available

Personalised recommendations