Local is Best: Efficient Reductions to Modal Logic K. Papacchini, F., Nalon, C., Hustadt, U., & Dixon, C. J. Autom. Reason., 66(4):639–666, 2022.
Local is Best: Efficient Reductions to Modal Logic K [link]Paper  doi  bibtex   
@article{DBLP:journals/jar/PapacchiniNHD22,
  author       = {Fabio Papacchini and
                  Cl{\'{a}}udia Nalon and
                  Ullrich Hustadt and
                  Clare Dixon},
  title        = {Local is Best: Efficient Reductions to Modal Logic {K}},
  journal      = {J. Autom. Reason.},
  volume       = {66},
  number       = {4},
  pages        = {639--666},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10817-022-09630-6},
  doi          = {10.1007/S10817-022-09630-6},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/PapacchiniNHD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0