A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

Serenella Cerrito, Marta Cialdea Mayer. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. Journal of Automated Reasoning, 51(2):197-239, 2013. [doi]

Abstract

Abstract is missing.