R-Calculus: An Inference System for Belief Revision

Wei Li. R-Calculus: An Inference System for Belief Revision. Comput. J., 50(4):378-390, 2007. [doi]

@article{Li07-0,
  title = {R-Calculus: An Inference System for Belief Revision},
  author = {Wei Li},
  year = {2007},
  doi = {10.1093/comjnl/bxl069},
  url = {http://dx.doi.org/10.1093/comjnl/bxl069},
  researchr = {https://researchr.org/publication/Li07-0},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {50},
  number = {4},
  pages = {378-390},
}