Displaying similar documents to “A calculus for finitely satisfiable formulas with identity.”