Tableaux calculi for hybrid logics (0)

by M Tzakova
Venue:Conference on