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

Authors:
Open Access
Publisher website
Google Scholar
Abstract
No abstract available