A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

DOI10.1007/978-3-642-38574-2_5zbMath1381.03018OpenAlexW1496861770MaRDI QIDQ4928429

Marta Cialdea Mayer

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Sibyl ⋮ Extended decision procedure for a fragment of HL with binders

This page was built for publication: A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies