Natural Deduction for Hybrid Logic

Abstract

Journal Article Natural Deduction for Hybrid Logic Get access Torben Braüner Torben Braüner Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark. E-mail: torben@ruc.dk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 14, Issue 3, June 2004, Pages 329–353, https://doi.org/10.1093/logcom/14.3.329 Published: 01 June 2004