top

Naming worlds in modal and temporal logic

D. Gabbay and G. Malod. Naming worlds in modal and temporal logic. Journal of logic, language and information, 2000.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{gabbay00:_namin,
  author = {D. Gabbay and G. Malod},
  title = {Naming worlds in modal and temporal logic},
  journal = {Journal of logic, language and information},
  year = {2000},
}

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