Switch to: Citations

References in:

Decidability results in non-classical logics

Annals of Mathematical Logic 8 (3):237-295 (1975)

Add references

You must login to add references.

Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.details Download Export citation Bookmark 18 citations
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.details Download Export citation Bookmark 52 citations
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.details Download Export citation Bookmark 48 citations
(1 other version)Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.details Download Export citation Bookmark 29 citations
(1 other version)A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67 - 78.details Download Export citation Bookmark 27 citations
Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.details Download Export citation Bookmark 10 citations
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details Download Export citation Bookmark 25 citations
(1 other version)The decidability of certain intermediate propositional logics.C. G. Mckay - 1968 - Journal of Symbolic Logic 33 (2):258-264.details Download Export citation Bookmark 16 citations
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.details Download Export citation Bookmark 54 citations
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.details Download Export citation Bookmark 4 citations
The decidability of the Kreisel-Putnam system.Dov M. Gabbay - 1970 - Journal of Symbolic Logic 35 (3):431-437.details Download Export citation Bookmark 14 citations
Sufficient conditions for the undecidability of intuitionistic theories with applications.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (2):375-384.details Download Export citation Bookmark 8 citations
Applications of trees to intermediate logics.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (1):135-138.details Download Export citation Bookmark 14 citations
(1 other version)A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.details Download Export citation Bookmark 28 citations
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details Download Export citation Bookmark 54 citations
(1 other version)An algebraic study of tense logics with linear time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.details Download Export citation Bookmark 16 citations
The decision problem for some finite extensions of the intuitionistic theory of abelian groups.Dov M. Gabbay - 1975 - Studia Logica 34 (1):59-67.details Download Export citation Bookmark 1 citation
Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.details Download Export citation Bookmark 5 citations

1