Generic Modal Cut Elimination Applied to Conditional Logics (bibtex)

by Dirk Pattinson and Lutz Schröder

Reference:

Dirk Pattinson and Lutz Schröder: Generic Modal Cut Elimination Applied to Conditional Logics, In Log. Methods Comput. Sci., 7(1), 2011.

Bibtex Entry:

@Article{PattinsonSchroder10b,
  author = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {Generic Modal Cut Elimination Applied to Conditional Logics},
  journal = {Log. Methods Comput. Sci.},
  volume    = {7},
  number    = {1},
  year      = {2011},
  url        = {http://dx.doi.org/10.2168/LMCS-7(1:4)2011},
}