TY  - RPRT
TI  - Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies
AU  - M. Cialdea Mayer
PY  - 2013
UR  - https://arxiv.org/abs/1210.5734
ID  - 1210.5734
ER  -