This chapter discusses survey of decidability results for modal, tense, and intermediate logics. the chapter considers first-order theories based on these logics, in particular theories based on the intuitionistic predicate logic. Modal and tense logics are concerned with the addition of one or two additional unary connectives to the language of classical logic. the language of intuitionistic logic and its extensions is, of course, the same as that of classical logic. the main methods that can be employed in solving the decision problem of a given system are presented. Some of the main modal systems are discussed in the chapter. the algebraic models corresponding to intuitionistic logic are the well known Heyting (or Brouwerian) algebras.
|Number of pages||15|
|Journal||Studies in Logic and the Foundations of Mathematics|
|State||Published - 1 Jan 1973|
Bibliographical noteFunding Information:
1 This research has been supported in part by National Science Foundation Grant NSFGJ-443X.