4 citations to 10.1016/j.tcs.2022.04.056 (Crossref Cited-By Service)
  1. Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024  crossref
  2. Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames”, Journal of Logic and Computation, 2024, exad078  crossref
  3. Mikhail Rybakov, Dmitry Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33, № 7, 2023, 1566  crossref
  4. Mikhail Rybakov, Dmitry Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 2024, exae077  crossref