## Abstract

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.

Original language | English |
---|---|

Pages (from-to) | 29-43 |

Number of pages | 15 |

Journal | Studies in Logic and the Foundations of Mathematics |

Volume | 74 |

Issue number | C |

DOIs | |

State | Published - 1 Jan 1973 |

Externally published | Yes |

### Bibliographical note

Funding Information:1 This research has been supported in part by National Science Foundation Grant NSFGJ-443X.

### Funding

1 This research has been supported in part by National Science Foundation Grant NSFGJ-443X.

Funders | Funder number |
---|---|

National Science Foundation | NSFGJ-443X |