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

Author: Cerrito Serenella  

Publisher: Springer Publishing Company

ISSN: 0168-7433

Source: Journal of Automated Reasoning, Vol.51, Iss.2, 2013-08, pp. : 197-239

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract