Hybrid logic and its proof-theory - Brauner Torben (London Springer-Verlag, 2011)
Keywords: Mathematical logic; Proof theory; Symbolic logic