Concepedia

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

Tatsuya Shimura

Studia Logica · 1993 · 20 citations · 5 references

DOI

Concepts

References

5

Logics containing <i>K</i>4. Part I

Kit Fine · Journal of Symbolic Logic · 1974 · 143 citations

, , +12

Logics containing <i>K</i>4. Part II

Kit Fine · Journal of Symbolic Logic · 1985 · 86 citations

, , +12

A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

Michael Gabbay, D.H.J. de Jongh · Journal of Symbolic Logic · 1974 · 74 citations

, , +13

The decidability of certain intermediate propositional logics

C. G. McKay · Journal of Symbolic Logic · 1968 · 53 citations

, , +9

CONJUNCTIVELY INDECOMPOSABLE FORMULAS IN PROPOSITIONAL CALCULI

V A Jankov · Mathematics of the USSR-Izvestiya · 1969 · 25 citations

, , +7