Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2022)
Local is Best: Efficient Reductions to Modal Logic K (Sep, 2022, 10.1007/s10817-022-09630-6).
JOURNAL OF AUTOMATED REASONING, 66 (4).
p. 1099.
Abstract
Unfortunately in the original publication of the article, several typo errors found in the mathematical symbols, spacing and layout of Tables 1 and 3 which are incorrectly processed throughout the article. The original article has been corrected.
Item Type: | Article |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 23 Sep 2022 15:57 |
Last Modified: | 22 Nov 2023 11:36 |
DOI: | 10.1007/s10817-022-09633-3 |
Open Access URL: | https://link.springer.com/article/10.1007/s10817-0... |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3164985 |