Intuitionistic Hybrid Logic

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

Download: (unavailable)



BibTeX: (download)

  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 (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33