HTab
From MaRDI portal
Software:24355
No author found.
Related Items (10)
An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Symmetric blocking ⋮ Unnamed Item ⋮ Completeness and termination for a Seligman-style tableau system ⋮ Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Experiments in Theorem Proving for Topological Hybrid Logic ⋮ Dealing with Symmetries in Modal Tableaux ⋮ A goal-directed decision procedure for hybrid PDL
This page was built for software: HTab