top

Intuitionistic Hybrid Logic

T. Braüner and V. de Paiva. Intuitionistic Hybrid Logic. Journal of Applied Logic, 2005. To appear.

Download: (unavailable)

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{Brauner03d,
  author = {T. Bra{\"u}ner and V. de Paiva},
  title = {Intuitionistic Hybrid Logic},
  journal = {Journal of Applied Logic},
  year = {2005},
  note = {To appear.},
}

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