Switch to: References

Add citations

You must login to add citations.
  1. On Pretabular Logics in NExtK4.Shan Du - 2014 - Studia Logica 102 (5):931-954.
    In this paper we prove the pretabularity criteria for the logics of infinite depth in NExtK4. Then we use the criteria to resolve the problems of pretabular logics in NExtQ4 and prove that there is a continuum of pretabular logics in NExtQ4 just like NExtK4.
    Export citation