logical consistency

4 papers