Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies

M. Cialdea Mayer

In a previous paper, a tableau calculus has been presented, which constitute a decision procedure for hybrid logic with the converse and global modalities and a restricted use of t…