Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic

DOI10.1007/978-3-642-14203-1_22zbMath1291.68333OpenAlexW1539127213MaRDI QIDQ5747765

Serenella Cerrito, Marta Cialdea Mayer

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_22

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

An efficient approach to nominal equalities in hybrid logic tableaux ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies

Uses Software

• OCaml
• Herod
• Pilate
• Spartacus
• HTab

Cites Work

• A benchmark method for the propositional modal logics K, KT, S4
• An efficient approach to nominal equalities in hybrid logic tableaux
• Termination for Hybrid Tableaus

This page was built for publication: Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic