swMATH12427MaRDI QIDQ24355FDOQ24355
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066109000310
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
- Symmetric blocking
- HGen
- DeReS
- 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
