Local is Best: Efficient Reductions to Modal Logic K (Sep, 2022, 10.1007/s10817-022-09630-6)



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.

Access the full-text of this item by clicking on the Open Access link.

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