Completeness theorems for reactive modal logics (bibtex)
by D. M. Gabbay
Reference:
Completeness theorems for reactive modal logics (D. M. Gabbay), In , Springer, 2012.
Bibtex Entry:
@Article{10993/15850,
  Title                    = {Completeness theorems for reactive modal logics},
  Author                   = {Gabbay, D. M.},
  Year                     = {2012},

  Publisher                = {Springer},
  Timestamp                = {2015.01.26}
}
Powered by bibtexbrowser