11 citations to 10.1093/logcom/exaa060 (Crossref Cited-By Service)

Mikhail Rybakov, Dmitry Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 2024, exae077