Sibyl

MaRDI QIDQ23929swMATHFDO

Official website http://cialdea.dia.uniroma3.it/sibyl/

Described by source

• A proof procedure for hybrid logic with binders, transitivity and relation hierarchies
• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders

Cited in

(11)

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

This page was built for software: Sibyl