7 citations to https://www.mathnet.ru/eng/ocl1
  1. Ana de Almeida Borges, Joost J. Joosten, “Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic”, Stud Logica, 2024  crossref
  2. ANA DE ALMEIDA BORGES, JOOST J. JOOSTEN, “AN ESCAPE FROM VARDANYAN'S THEOREM”, J. symb. log., 88:4 (2023), 1613  crossref
  3. Mikhail Svyatlovskiy, “Modal Companions of $K4^{+}$”, Stud Logica, 110:5 (2022), 1327  crossref
  4. STANISLAV KIKOT, AGI KURUCZ, YOSHIHITO TANAKA, FRANK WOLTER, MICHAEL ZAKHARYASCHEV, “KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS”, J. symb. log., 84:02 (2019), 533  crossref
  5. TOMMASO MORASCHINI, “VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS”, The Review of Symbolic Logic, 12:3 (2019), 557  crossref
  6. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  mathnet  mathnet  crossref  crossref  isi  scopus
  7. M. V. Svyatlovskiy, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Math. Notes, 103:6 (2018), 952–967  mathnet  mathnet  crossref  crossref  isi  scopus