Sibyl

MaRDI QIDQ23929swMATHFDO

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

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

(11)

• Herod
• Pilate
• HTab
• Spartacus
• HyLoTab
• HyLoRes
• HGen
• 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