Hybrid Logic and its Proof Theory (2011)

by T Brauener