Rybakov, M., & Shkatov, D. (2025). Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames. Journal of Logic & Computation, 35(2), 1. https://doi.org/10.1093/logcom/exad078
Chicago Style (17th ed.) CitationRybakov, Mikhail, and Dmitry Shkatov. "Algorithmic Properties of Modal and Superintuitionistic Logics of Monadic Predicates over Finite Kripke Frames." Journal of Logic & Computation 35, no. 2 (2025): 1. https://doi.org/10.1093/logcom/exad078.
MLA (9th ed.) CitationRybakov, Mikhail, and Dmitry Shkatov. "Algorithmic Properties of Modal and Superintuitionistic Logics of Monadic Predicates over Finite Kripke Frames." Journal of Logic & Computation, vol. 35, no. 2, 2025, p. 1, https://doi.org/10.1093/logcom/exad078.