DMCA

Tableaux with Substitution for Hybrid Logic with the Global (2009)

by Converse Modalities , Serenella Cerrito , Marta Cialdea Mayer