Natural Deduction for Hybrid Logic

Torben Braüner. Natural Deduction for Hybrid Logic. Journal of Logic and Computation, 14(3):329-353, 2004. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: