HTab

swMATH12427MaRDI QIDQ24355FDOQ24355

Author name not available (Why is that?)

Described by source

• HTab: a Terminating Tableaux System for Hybrid Logic

Cited In (10)

• Dealing with Symmetries in Modal Tableaux
• Completeness and termination for a Seligman-style tableau system
• Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic
• Title not available (Why is that?)
• Experiments in Theorem Proving for Topological Hybrid Logic
• Symmetric blocking
• Hybrid Specification of Reactive Systems: An Institutional Approach
• A goal-directed decision procedure for hybrid PDL
• A prover dealing with nominals, binders, transitivity and relation hierarchies
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for software: HTab