2000 character limit reached
Algorithmic Correspondence for Hybrid Logic with Binder
Published 26 Feb 2021 in cs.LO and math.LO | (2102.13291v2)
Abstract: In the present paper, we develop the algorithmic correspondence theory for hybrid logic with binder. We define the class of Sahlqvist inequalities, each inequality of which is shown to have a first-order frame correspondent effectively computable by an algorithm ALBA.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.