Herod and Pilate: two Tableau Provers for Basic Hybrid Logic

by Serenella Cerrito, Marta Cialdea Mayer, Lab Ibisc, Université D’evry Val D’essonne