Sibyl

swMATH11995MaRDI QIDQ23929

No author found.

Described by source

• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
• A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

Related Items (4)

An efficient approach to nominal equalities in hybrid logic tableaux ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities ⋮ Extended decision procedure for a fragment of HL with binders

This page was built for software: Sibyl