All Stories

  1. A new lrevision operator for propositional calculus.