A Survey of Decidability Results for Modal, Tense and Intermediate Logics

D. M. Gabbay

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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 languageEnglish
Pages (from-to)29-43
Number of pages15
JournalStudies in Logic and the Foundations of Mathematics
Issue numberC
StatePublished - 1 Jan 1973
Externally publishedYes

Bibliographical note

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


Dive into the research topics of 'A Survey of Decidability Results for Modal, Tense and Intermediate Logics'. Together they form a unique fingerprint.

Cite this