top

Two Natural Deduction Systems for Hybrid Logic: A Comparison

T. Braüner. Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information, 13:1–23, 2004.

Download: (unavailable)

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{Brauner03,
  author = {T. Bra{\"u}ner},
  title = {Two Natural Deduction Systems for Hybrid Logic: A Comparison},
  journal = {Journal of Logic, Language and Information},
  year = {2004},
  volume = {13},
  pages = {1--23},
}

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