A logic for reasoning about generic judgments. Extended version of LFMTP’06 paper (2007)

by A Tiu