HTab

MaRDI QIDQ24355swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066109000310

Described by source

• HTab: a terminating tableaux system for hybrid logic

Cited in

(21)

• Dealing with Symmetries in Modal Tableaux
• Completeness and termination for a Seligman-style tableau system
• Hybrid specification of reactive systems: an institutional approach
• GHC
• Herod
• Pilate
• FaCT++
• Sibyl
• Spartacus
• HyLoTab
• HyLoBan
• HyLoRes
• HGen
• DeReS
• Symmetric blocking
• Herod and Pilate: two tableau provers for basic hybrid logic
• A goal-directed decision procedure for hybrid PDL
• A prover dealing with nominals, binders, transitivity and relation hierarchies
• Relation-changing logics as fragments of hybrid logics
• Experiments in theorem proving for topological hybrid logic
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for software: HTab