25 citations to 10.1007/s11225-018-9815-7 (Crossref Cited-By Service)
  1. Xun Wang, “Completeness theorems for $\exists \Box $-bundled fragment of first-order modal logic”, Synthese, 201, № 4, 2023, 123  crossref
  2. Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31, № 2, 2021, 426  crossref
  3. Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with non-transitive modal logics”, Journal of Logic and Computation, 32, № 5, 2022, 853  crossref
  4. Mikhail Rybakov, Dmitry Shkatov, 11187, Theoretical Aspects of Computing – ICTAC 2018, 2018, 396  crossref
  5. Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang, “Are bundles good deals for first-order modal logic?”, Information and Computation, 293, 2023, 105062  crossref
  6. Erik Parmann, Thomas Ågotnes, “Reasoning about strategic voting in modal logic quickly becomes undecidable”, Journal of Logic and Computation, 31, № 4, 2021, 1055  crossref
  7. Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt, “One-variable fragments of intermediate logics over linear frames”, Information and Computation, 287, 2022, 104755  crossref
  8. Mikhail Rybakov, Dmitry Shkatov, Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019, 2019, 1  crossref
  9. V. Shehtman, D. Shkatov, “SEMIPRODUCTS, PRODUCTS, AND MODAL PREDICATE LOGICS: SOME EXAMPLES”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 513, № 1, 2023, 99  crossref
  10. Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 31, № 2, 2021, 494  crossref
1
2
3
Следующая