Sibyl

swMATH11995MaRDI QIDQ23929FDOQ23929

Author name not available (Why is that?)

Described by source

• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
• A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

Cited In (4)

• A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
• A prover dealing with nominals, binders, transitivity and relation hierarchies
• Extended decision procedure for a fragment of HL with binders
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for software: Sibyl