The following pages link to HTab (Q24355):
Displaying 10 items.
- Symmetric blocking (Q897931) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Dealing with Symmetries in Modal Tableaux (Q2851930) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- (Q5015266) (← links)
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)
