Home » Authors » Serenella Cerrito, Marta Cialdea Mayer

Serenella Cerrito, Marta Cialdea Mayer

Public reference bibliography and cataloged PDF materials authored or published by Serenella Cerrito, Marta Cialdea Mayer.

Found 1 document(s) Page 1 of 1

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

Year: 2013 • Source: hal.science • Listed PDF

In this paper we provide the first (as far as we know) direct calculus deciding satisfiability of formulae in negation normal form in the fragment of FHL (full hybrid logic with the binder, including the global and conve...