Switch to: Citations

References in:

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

Tatsuya Shimura

Studia Logica 52 (1):23 - 40 (1993)

Add references

You must login to add references.

(1 other version)An extension of ono's completeness result.Nobu-Yuki Suzuki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):365-366.details Download Export citation Bookmark 2 citations
(1 other version)An extension of ono's completeness result.Nobu-Yuki Suzuki - 1990 - Mathematical Logic Quarterly 36 (4):365-366.details Download Export citation Bookmark 2 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
(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
(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
Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.details Download Export citation Bookmark 40 citations

1