Reactive Kripke Models and Contrary to Duty Obligations (bibtex)
by Dov M. Gabbay
Reference:
Reactive Kripke Models and Contrary to Duty Obligations (Dov M. Gabbay), In Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings (Ron van der Meyden, Leendert van der Torre, eds.), Springer, volume 5076, 2008.
Bibtex Entry:
@InProceedings{Gabbay2008j,
  Title                    = {Reactive Kripke Models and Contrary to Duty Obligations},
  Author                   = {Dov M. Gabbay},
  Booktitle                = {Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
  Year                     = {2008},
  Editor                   = {Ron van der Meyden and Leendert van der Torre},
  Pages                    = {155-173},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {5076},

  Affiliation              = {icr},
  Bdsk-url-1               = {http://www.springerlink.com/content/p14l16067312m5q1/},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-70525-3_13},
  Timestamp                = {2013.07.26},
  Url                      = {http://www.springerlink.com/content/p14l16067312m5q1/}
}
Powered by bibtexbrowser