Crossmark

Correction to: Local is Best: Efficient Reductions to Modal Logic K

Crossref DOI link: https://doi.org/10.1007/s10817-022-09633-3

Published Online: 2022-09-14

Published Print: 2022-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Papacchini, Fabio https://orcid.org/0000-0002-0310-7378
Nalon, Cláudia https://orcid.org/0000-0002-9792-5346
Hustadt, Ullrich https://orcid.org/0000-0002-0455-0267
Dixon, Clare https://orcid.org/0000-0002-4610-9533
License Information

Text and Data Mining valid from 2022-09-14

Version of Record valid from 2022-09-14
More Information

Article History

First Online: 14 September 2022