Reactive intuitionistic tableaux (bibtex)
by Dov M. Gabbay
Reference:
Reactive intuitionistic tableaux (Dov M. Gabbay), In Synthese, volume 179, 2011.
Bibtex Entry:
@Article{Gabbay2011c,
  Title                    = {Reactive intuitionistic tableaux},
  Author                   = {Dov M. Gabbay},
  Journal                  = {Synthese},
  Year                     = {2011},
  Number                   = {2},
  Pages                    = {253-269},
  Volume                   = {179},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/s11229-010-9781-8},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser