Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
The online version of the original article can be found at http://dx.doi.org/10.1007/s10817-014-9307-z.
Rights and permissions
About this article
Cite this article
Mayer, M.C. Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders. J Autom Reasoning 55, 185 (2015). https://doi.org/10.1007/s10817-014-9308-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-014-9308-y