top

Natural Deduction for Hybrid Logics

T. Braüner. Natural Deduction for Hybrid Logics. Journal of Logic and Computation, 14(3):329–353, 2004.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{brauener04:_natur_deduc_hybrid_logic,
  author = {T. Bra{\"u}ner},
  title = {Natural Deduction for Hybrid Logics},
  journal = {Journal of Logic and Computation},
  year = {2004},
  volume = {14},
  pages = {329--353},
  number = {3},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33